Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean4-bdd
Binary Decision Diagrams in Lean 4
Lean
Emerging
GitHub
Stars
14
Forks
5
Contributors
3
Last push
10h ago
Recent commits
Latest commits.
Merge remote-tracking branch 'amos/bump-4.29.0'
fc34710
Eshel Yaron
11h ago
; Add lean_release_tag workflow
8ed3c82
Eshel Yaron
13h ago
Refactor Reduce and finish correctness proof
a5ab804
Eshel Yaron
2d ago
Fix issues in Sat.lean and SatSolver.lean + add congruence lemmas in BDD.lean
54dbdcd
Amos Nicodemus
1mo ago
update to Lean 4.29.0
319e1ce
Amos Nicodemus
2mo ago
Merge pull request #2 from AmosNico/main
ae31d2f
Eshel Yaron
3mo ago
Renamed Nary.ne_implies_dependency_ne to Nary.ne_implies_dependency_getElem_ne
f1c2bdb
Amos Nicodemus
3mo ago
Removed lemmas BDD.denotation_eq_of_forall_dependency and generalized BDD.denotation_ne_implies_dependency_ne
5e7bf97
Amos Nicodemus
3mo ago
Top contributors
Builders behind this project.
eshelyaron
120 commits
AmosNico
4 commits
m4lvin
2 commits
