Popularity
4.0
-
Activity
0.0
Stable
4
2
1

Monthly Downloads: 115
Programming language: Haskell
License: GNU Lesser General Public License v3.0 only
Tags: Logic     Theorem Provers    
Latest version: v0.2

structural-induction alternatives and similar packages

Based on the "Logic" category

Do you think we are missing an alternative of structural-induction or a related project?

Add another 'Logic' Package