|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
proof-assistant
formal-verification
mathematics
theorem-proving
formal-methods
hierarchy
mathcomp
library
programming-languages
semantics
|
| Package |
Description |
Version |
|
coq-platform
☆
cask
|
Formal proof management system |
2025.01.0,8.20.2025.01 |
|
hierarchy-builder
☆
formula
|
High level commands to declare a hierarchy based on packed classes |
|
|
math-comp
☆
formula
|
Mathematical Components for the Coq proof assistant |
|
|
ott
☆
formula
|
Tool for writing definitions of programming languages and calculi |
|
|
proof-general
☆
formula
|
Emacs-based generic interface for theorem provers |
|
|
rocq-elpi
☆
formula
|
Elpi extension language for Rocq |
|