|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
coq
formal-verification
theorem-proving
mathematics
logic
agda
neovim
plugin
verification
research
|
| Package |
Description |
Version |
|
coq-platform
☆
cask
|
Formal proof management system |
2025.01.0,8.20.2025.01 |
|
cornelis
☆
formula
|
Neovim support for Agda |
2.8.0 |
|
isabelle
☆
cask
|
Generic proof assistant |
2025-2 |
|
math-comp
☆
formula
|
Mathematical Components for the Coq proof assistant |
|
|
proof-general
☆
formula
|
Emacs-based generic interface for theorem provers |
|
|
rocq
☆
formula
|
Proof assistant for higher-order logic |
|
|
rocq-elpi
☆
formula
|
Elpi extension language for Rocq |
|