FlorianCassayre

__author__ = 'Florian Cassayre'

from copy import copy, deepcopy


def inverse(toInverse):
    size = len(toInverse)

    matrix = [[0 for j in range(size * 2)] for i in range(size)] # Matrice n x 2n

FlorianCassayre

Clé d'API OVH

Pour créer une clé d'API OVH, se rendre sur ce formulaire et remplir les champs avec les informations suivantes :

• ID / Password : identifiant et mot de passe OVH
• Script name / Script description : libre, utiliser de préférence un vocabulaire explicite
• Validity : Unlimited, sauf si la clé est effectivement vouée à être temporaire
• Rights : tels que décrit sur cette page, soit :
  • DELETE /domain/zone/*
  • GET /domain/zone/*
• POST /domain/zone/*

FlorianCassayre

import scala.compiletime.constValue

object Logic extends App:

  // Definitions

  enum Formula:
    case Variable[Id <: String & Singleton](val id: Id) extends Formula
    case True extends Formula
    case False extends Formula

FlorianCassayre

Data is listed from the outer ring (first line) to the inner ring (last line).
'#' corresponds to a red stripe, while '.' is a white one.
The triangular patterns starts as valley (wrt the center).

#....#...#.......#.##....###.#.......###....###.##.......#.#......#####.....#.##
#...#################.....#.#........#.........#..#......###........###.....#..#
......#.#.......##..#...#################......##.#......#..#.......###......#..
#.......#...........#.....#..#........#.#...####################################

FlorianCassayre

Ancêtres de Florian Cassayre par département

Référence visuelle : https://florian.cassayre.me/articles/genealogy

Liste des branches ascendantes par département :

• Aveyron :
  • Noémie TEULIER (sosa 17)
• Gard :
• Marie Magdelaine Adolphine CHABAUD (sosa 49)

FlorianCassayre

import fol.Expr
import lcf._
import Theorems._
import fol._
import fol.Expr._

object Arithmetic {

  /* == Theorems 3.2 == */

FlorianCassayre

import scala.language.implicitConversions

// Scroll down to "Sandbox" to see examples

object FOL extends App {

  // Types

  // Formulas
  // Any combination of boolean operators (does not have to be a tautology!)

FlorianCassayre

import stainless.annotation.induct

object SumFirstIntegers {

  // n(n+1)/2
  def sumFirstIntegersClosedForm(n: BigInt): BigInt = {
    require(n >= 0)

    n * (n + 1) / 2
  }

FlorianCassayre

final int margin = 200;

int sampled = 0;
float[][] acc;

final PVector light = new PVector(2, 1, 1).normalize();

void setup() {
  size(800, 800);
  

FlorianCassayre

#include <stddef.h>
#include <malloc.h>
#include <stdio.h>
#include <time.h>

typedef struct linked_t {
    struct linked_t* previous;
    struct linked_t* next;
    int value;
} linked_t;