gitlab.math.univ-paris-diderot.fr
cauderlier/univalence-elim
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/dktactics
Dependently-typed tactics and certificate checking in Meta Dedukti
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
guetta/phd-presentation
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
letouzey/coq-lmfi
Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 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.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
petrucciani/setvariants
Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
molin/fichesUE
fiches d'ue pour le master (cf le système de Samy pour la licence)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0
molin/lektor-admin-extra
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
serban/parse-smtlib
Parser and well-sortedness checker for version 2.6 of SMT-LIB.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
han/giacpy-sage
Sage version of giacpy. (Cython frontend to the CAS giac)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
aristote/weak-distributive-laws-stably-compact-spaces-abstract
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
dagand/hceres-slides-acs
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
aatem/binder-pascal
Environment with my favorite tools: pari + arb
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
guetta/presheavesgroupoid
An article in which I show that presheaves in groupoids on a (weak) test category model homotopy types.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/dktransfer
A transfer tactic for Meta Dedukti
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
mzhang/exact-abstraction
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
schmitz/automata-team
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
mbehr/icgt2023-slides
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
foughali/fhz_aeic-jsa
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
aatem/binder-pari-expect
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1
guetta/memoire
My PhD dissertation.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
pamaury/science-public
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
letouzey/prog-lmfi
Documents pour le cours de programmation fonctionnelle (M2 LMFI)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
sighirea/dp4sl4malloc
Decision procedure for SL used in specification of memory allocators
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/math_transfer
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
letouzey/cours-preuves
Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 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
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
aatem/conda-xgp
xeus gp
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
eclement/grobner-chains
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
molin/tmm-candidatures
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
aatem/binder-ap3
environnement pour cours Algorithmique et Programmation
Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
aristote/monoidal-transducers-minimization
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
salibra/pol-nino-buccia
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
chaitanya/these-public
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
garrigos/teaching_public
Continent du matériel d'enseignement que je souhaite rendre public
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
letouzey/natded
Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
bdelcroix/posetBidecore
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
beppe/occurrence-typing
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
cauderlier/rec2dk
Rec to Dedukti translator
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0