GitHub repository: yhay81/pythonic-peano-arithmetic
Primary language: Python
Description: Create algebra from Peano axioms