Popular repositories Loading
Repositories
Showing 10 of 56 repositories
- bitflyer-ocaml Public
proof-ninja/bitflyer-ocaml’s past year of commit activity - rocq Public Forked from rocq-prover/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
proof-ninja/rocq’s past year of commit activity - sample-rocq-nix Public
proof-ninja/sample-rocq-nix’s past year of commit activity - certified_base Public
proof-ninja/certified_base’s past year of commit activity - iriswasm-example Public
proof-ninja/iriswasm-example’s past year of commit activity - whyml_sample Public
proof-ninja/whyml_sample’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…