1024">
Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
1 Search Results
Search packages
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