|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
formal-verification
programming-language
proof-assistant
functional-programming
coq
formal-methods
dependent-types
static-typing
mathematics
verification
|
| Package |
Description |
Version |
|
agda
☆
formula
|
Dependently typed functional programming language |
2.8.0 |
|
ats2-postiats
☆
formula
|
Programming language with formal specification features |
0.4.2 |
|
coq-platform
☆
cask
|
Formal proof management system |
2025.01.0,8.20.2025.01 |
|
dafny
☆
formula
|
Verification-aware programming language |
4.11.0 |
|
isabelle
☆
cask
|
Generic proof assistant |
2025-2 |
|
proof-general
☆
formula
|
Emacs-based generic interface for theorem provers |
|