coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
CoqLGPL-2.1
Issues
- 0
- 0
Patent warning appears to be obsolete
#9 opened by palmskog - 1
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
CoqLGPL-2.1