proof-ninja

Popular repositories Loading

Showing 10 of 52 repositories

proof-ninja/analysis’s past year of commit activity

Rocq Prover 0
66 0 0
Updated Apr 16, 2026
proof-ninja/whyml_sample’s past year of commit activity

Standard ML 0 0
0 0
Updated Apr 16, 2026
proof-ninja/WasmCert-Coq’s past year of commit activity

Rocq Prover 0 MIT
17 0 0
Updated Mar 27, 2026
proof-ninja/phone-bill-benchmark’s past year of commit activity

Java 0 Apache-2.0
1 0 0
Updated Mar 25, 2026
proof-ninja/bitflyer-ocaml’s past year of commit activity

OCaml
1
0
0 0
Updated Feb 22, 2026
proof-ninja/rocq-scurve’s past year of commit activity

Rocq Prover 0
1 4 2
Updated Jan 22, 2026
proof-ninja/inference’s past year of commit activity

Rust 0 GPL-3.0
15 0 0
Updated Jan 7, 2026
proof-ninja/tsurugidb’s past year of commit activity

Shell 0 Apache-2.0
12 0 0
Updated Dec 16, 2025
spec Public Forked from WebAssembly/spec
WebAssembly specification, reference interpreter, and test suite.

proof-ninja/spec’s past year of commit activity

WebAssembly 0
562 0 0
Updated Dec 13, 2025
coqhammer Public Forked from lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

proof-ninja/coqhammer’s past year of commit activity

OCaml 0
36 0 0
Updated Dec 11, 2025