1 g4ip package
-
g4ip-prover
3.7 0.0 HaskellTheorem prover for intuitionistic propositional logic, fork of github.com/cacay/G4ip
10
8
6
4
2
![]() |
Clean code begins in your IDE with SonarLint
sponsored
www.sonarlint.org
|
![]() |
Less time debugging, more time building
sponsored
scoutapm.com
|
Do not miss the trending, packages, news and articles with our weekly report.