1 Search Results
dolmen_type
A typechecker for automated deduction languages
0.7
BSD-2-Clause
Used by 5 other packages