Arthur Correnson's repositories
acorrenson.github.io
Personnal Website
catala
Programming language for literate programming law specification
Language:OCamlApache-2.0000
color
Coq library on rewriting theory and termination
Language:CoqNOASSERTION000
coqffi
Coq to OCaml FFI made easy [maintainer=@lthms]
Language:OCamlMIT000
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT000
Language:CoqMIT000
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
pravda
Pravda is a tool for teaching formal logic.
Language:TypeScriptGPL-2.0000
simplebnf
Simple Backus–Naur form (BNF) LaTeX package
Language:TeXMIT000
smtcoq
Communication between Coq and SAT/SMT solvers
Language:OCamlNOASSERTION000
smtcoq-api
An API to interact with SMTCoq
Language:OCamlNOASSERTION000
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:RustApache-2.0000
verified-static-analyzer
A small & simple WIP verified static analyzer
Language:Coq000