cauderlier/dklib

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/univalence-elim

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/dktactics

Dependently-typed tactics and certificate checking in Meta Dedukti

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

gduboc/cduce

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

guetta/phd-presentation

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

letouzey/coq-lmfi

Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

ylg/cours-api

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/dk_fol_parser

A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

petrucciani/setvariants

Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

buccia/problambda

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/fichesUE

fiches d'ue pour le master (cf le système de Samy pour la licence)

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0

molin/mm1

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cduce/cduce

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 5 - forks: 3

aatem/conda-pari

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 1

aatem/binder-pari

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 2

molin/lektor-admin-extra

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

serban/parse-smtlib

Parser and well-sortedness checker for version 2.6 of SMT-LIB.

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

han/giacpy-sage

Sage version of giacpy. (Cython frontend to the CAS giac)

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 1 - forks: 0

coste/kuramoto

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/plasma

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aristote/weak-distributive-laws-stably-compact-spaces-abstract

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

dagand/hceres-slides-acs

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-pascal

Environment with my favorite tools: pari + arb

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

guetta/presheavesgroupoid

An article in which I show that presheaves in groupoids on a (weak) test category model homotopy types.

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

garrigos/l3optim-tp

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/lektor-login

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

abrochier/moodle

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

colcombe/knowledge

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

tcs4f/tcs4f-website

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 1 - forks: 0

cauderlier/dktransfer

A transfer tactic for Meta Dedukti

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

mzhang/exact-abstraction

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-julia

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

schmitz/automata-team

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

tomazm/tinysat

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

mbehr/icgt2023-slides

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

foughali/fhz_aeic-jsa

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-pari-expect

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 1

molin/binder-test

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

garrigos/cocalc

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

colcombe/mathcommand

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/ical-ufr

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

han/tp

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

guetta/memoire

My PhD dissertation.

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

pamaury/science-public

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

letouzey/prog-lmfi

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

sighirea/dp4sl4malloc

Decision procedure for SL used in specification of memory allocators

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/math_transfer

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

letouzey/cours-preuves

Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

han/giacpy

Giacpy is a python module interfacing with the c++ library giac through cython. So it provides in python most of the functionalites of the computer algebra system giac/xcas with a similar speed

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

chaitanya/depart-us

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/tdalgl3

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0

aatem/conda-xgp

xeus gp

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-gp-xeus

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

eclement/grobner-chains

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

saurin/coq-lmfi-2023

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/tmm-candidatures

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-sage

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-ap3

environnement pour cours Algorithmique et Programmation

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aristote/monoidal-transducers-minimization

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

aatem/binder-template

dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 3

buccia/cbpv

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

salibra/pol-nino-buccia

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

buccia/ua

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

chaitanya/these-public

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

molin/lektor-commit

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/sigmaid

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

garrigos/teaching_public

Continent du matériel d'enseignement que je souhaite rendre public

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

letouzey/natded

Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

bdelcroix/posetBidecore

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

beppe/occurrence-typing

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

chaneb/Manuscrit

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

chaneb/Test

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

cauderlier/rec2dk

Rec to Dedukti translator

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

ranadeep/dbcop

dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0