rocq

cli 9.1.1 ·ocaml

✓ install reviewed

Proof assistant for higher-order logic with CLI tools. Available on Homebrew and apt.

Traffic · last 30 days stale · no recent hits · indexed Sun May 31 · updated Sat Jul 11

total hits 5

actors 1 distinct systems

last hit 21d ago AhrefsBot

Humans

top countries 🇸🇬 Singapore · 🇨🇦 Canada