Pinned Repositories
SimonForest's Repositories
SimonForest/3-pasting-example
An agda formalization of a 3-dimensional pasting scheme.
SimonForest/cateq
SimonForest/ladja
A left adjointness assistant library
SimonForest/KahnNet
Projet de systèmes et réseaux
SimonForest/satex
String diagrams in LaTeX.
SimonForest/VimFStar
A Vim mode for FStar with interactivity