pomagma
An inference engine for extensional lambda-calculus
Installation
In a virtualenv (see these instructions if you need to create one):
pip3 install pomagma
Releases
Version | Released | Bullseye Python 3.9 |
Bookworm Python 3.11 |
Files |
---|---|---|---|---|
0.2.6 | 2015-10-06 | |||
|
||||
0.2.5 | 2015-07-23 | |||
|
||||
0.2.4 | 2015-06-01 | |||
|
||||
0.2.3 | 2015-05-31 | |||
|
||||
0.1.7 | 2014-08-09 | |||
|
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue