Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 4 Agda Formal Verification Open Source Projects
Open source projects categorized as Agda Formal Verification
Categories
>
Agda
Edit Category
awesomo4000/awesome-provable
⭐
136
A curated set of links to formal methods involving provable code.
dependent packages
0
total releases
0
most recent commit
over 4 years ago
frex-project/agda-fragment
⭐
20
Algebraic proof discovery in Agda
dependent packages
0
total releases
0
most recent commit
over 4 years ago
SKolodynski/IsarMathLib
⭐
16
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
ice1k/Theorems
⭐
8
:globe_with_meridians: Theorems that rule this multiverse
dependent packages
0
total releases
0
most recent commit
over 7 years ago
Get A Weekly Email With Trending Agda Projects
No Spam. Unsubscribe easily at any time.
Agda
Formal Verification
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
