search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

remove .ocamlformat files #1109

Closed fblanqui closed 5 months ago

fblanqui commented 5 months ago

fix #748