1 Search Results
dolmen_type
A typechecker for automated deduction languages
logic type typechecking first order polymorphism
Guillaume Bury <guillaume.bury@gmail.com>
0.8
BSD-2-Clause
Used by 3 other packages