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?

Page last updated 2025-06-27 21:13:29 UTC