June Rousseau's repositories
PG
This repo is the new home of Proof General
Language:Emacs LispGPL-3.0000
flow-sensitive-PINI
LBS project for a Flow Sensitive Type System that enforce PINI
Language:Coq000
Language:Coq000
TuringMachineSimulator
Simulator of Turing Machine
Language:OCamlMIT000
Language:Yacc000