Awesome Open Source

Programming Languages

Search results for formal proofs

formal-proofs x

15 search results found

Magic In Ten Mins ⭐ 693

十分钟魔法练习

Principia ⭐ 193

The Principia Rewrite

Idris Ct ⭐ 179

formally verified category theory library

Hydra Battles ⭐ 55

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Formal_book ⭐ 31

Formalizing "Proofs from THE BOOK"

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

A Coq library providing tactics to deal with hypothesis

Isarmathlib ⭐ 16

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

Metamath Lamp ⭐ 10

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).

Automatik ⭐ 8

A library of formalized automaton algorithms

A style guide for Coq

Lean Crypto Formalization ⭐ 6

Library for formalizing cryptography proofs in Lean

Lean Quantum ⭐ 5

Formalized quantum computing in Lean theorem prover

Related Searches

Coq Formal Proofs (5)

Lean Formal Proofs (5)

Mathematics Formal Proofs (4)

Proof Assistant Formal Proofs (4)

Theorem Proving Formal Proofs (3)

Tex Formal Proofs (3)

Formal Proofs Isabelle Hol (3)

1-15 of 15 search results

Privacy | About | Terms | Follow Us On Twitter

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