Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Formal Methods Theorem Proving Open Source Projects

Open source projects categorized as Formal Methods Theorem Proving
Categories > Software Development > Formal Methods
Categories > Mathematics > Theorem Proving
Mathlib ⭐ 1,464
Lean mathematical components library
most recent commit a day ago
Acl2 ⭐ 284
ACL2 System and Books as Maintained by the Community
most recent commit a day ago
Fm Notes ⭐ 19
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
most recent commit 4 months ago
Atp ⭐ 5
Haskell interface to automated theorem provers
most recent commit a year ago
Lppaver ⭐ 4
An automated prover targeting problems that involve nonlinear real arithmetic.
most recent commit 6 days ago
Problem Solving Class Coq ⭐ 3
Rock on Coq for the Problem Solving Class at Nanjing University
most recent commit 3 years ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Jenkins
Generation
Continuous Deployment
Developer Tools
Travis
Changelog
Adb
Circleci
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.