Arthur Correnson's repositories
3valued
3 valued logic in Coq
acorrenson.github.io
Personnal Website
catala
Programming language for literate programming law specification
cfloat
Messing arround with floats in C
color
Coq library on rewriting theory and termination
coqffi
Coq to OCaml FFI made easy [maintainer=@lthms]
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
mathlib
Lean mathematical components library
minibug
Concise and documented COq formalization of a symbolic bug finder for IMP
minirust
A precise specification for "Rust lite / MIR plus"
pravda
Pravda is a tool for teaching formal logic.
simplebnf
Simple Backus–Naur form (BNF) LaTeX package
smtcoq
Communication between Coq and SAT/SMT solvers
smtcoq-api
An API to interact with SMTCoq
typst
A new markup-based typesetting system that is powerful and easy to learn.
verified-static-analyzer
A small & simple WIP verified static analyzer