Showing 2 of 2 repositories tagged #rocq-prover, ranked by stars
Visual Studio Code extension for Coq
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
