fritzo / pomagmaLinks

An inference engine for extensional untyped λ-calculus
3Updated this week

Alternatives and similar repositories for pomagma

Users that are interested in pomagma are comparing it to the libraries listed below

Sorting: