Top Repositories
Coq with native compilation, as well as machine integers and arrays !
A language server (based on LSP) for Jasmin.
Visual Studio Code Extension and Language Server Protocol for Coq
A framework for few-shot evaluation of language models.
Repositories
77Visual Studio Code Extension and Language Server Protocol for Coq
No description provided.
Coq with native compilation, as well as machine integers and arrays !
A language server (based on LSP) for Jasmin.
A framework for few-shot evaluation of language models.
Lighteval is your all-in-one toolkit for evaluating LLMs across multiple backends
No description provided.
No description provided.
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
No description provided.
No description provided.
Programming language for literate programming law specification
No description provided.
A (Coq Development Team) bot written in OCaml
Coq is a formal proof management system. 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.
No description provided.
No description provided.
Multi platform setup for Coq, Coq libraries and tools
Jasmin compiler
Yet Another Coq Library on Machine Words.
Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
Build dependency graphs between COQ objects
Language server for Coq
Metaprogramming in Coq
ICU Bed Activity Monitor
A port of Coq to Javascript -- Run Coq in your Browser
Communication between Coq and SAT/SMT solvers
A library of Coq definitions, theorems, and tactics.
Coq library for tactics, basic definitions, sets, maps