simonr89

Université de Montpellier

Pinned Repositories

ASPGI
Le repository du Projet - Lien vers le Board : https://github.com/Gireza/ASPGI/projects/1
Language:C20
Goeland
A first-order concurrent automated theorem prover
Language:Go131
coq-course
Coq course at Chalmers CSE
00
note-display
0 2 00
prog_fonctionnelle
Language:Scala2 2 09
spectre
Program verification tool that generates TPTP problems. Can be used to check loops without user-supplied invariants, or to generate invariants
Language:C++3 4 00
SyDRec
A module for the inductive theorem prover Coq, which generates function and theorems based on inductive type definitions.
Language:OCaml4 2 00
tda342
Language:Haskell00
coq-course
Coq course at Chalmers CSE
Language:Coq38 14 410
vampire
The Vampire Theorem Prover
Language:C++292 23 15151

simonr89's Repositories

simonr89/SyDRec
A module for the inductive theorem prover Coq, which generates function and theorems based on inductive type definitions.
Language:OCaml4 2 00
simonr89/spectre
Program verification tool that generates TPTP problems. Can be used to check loops without user-supplied invariants, or to generate invariants
Language:C++3 4 00
simonr89/prog_fonctionnelle
Language:Scala2 2 09
simonr89/coq-course
Coq course at Chalmers CSE
00
simonr89/note-display
0 2 00
simonr89/tda342
Language:Haskell00