a python version of a formal mathematics proof verifier.
Project description
formalmath
A formal mathematics package.
setmm
A port for metamath and set.mm.
Example code:
from formalmath import setmm
lp = setmm.Constant('\\left(','(','(')
rp = setmm.Constant('\\right)',')',')')
ra = setmm.Constant('\\rightarrow','->','->')
phi = setmm.Variable('\\varphi','phi','ph')
psi = setmm.Variable('\\psi','psi','ps')
wph = setmm.Formula("\\varphi", [phi,], metamath_code='wph')
wps = setmm.Formula('\\psi',[psi,],metamath_code='wps')
wi = setmm.Formula("auto",[lp,phi,ra,psi,rp],metamath_code='wi')
print(wi.label) # result is '\\left(\\varphi\\rightarrow\\psi\\right)'
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
formalmath-0.0.1.tar.gz
(2.7 kB
view hashes)
Built Distribution
Close
Hashes for formalmath-0.0.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 72d42d8e20cff1812d2721046e8aa06c6aa2a78ae6deaf9d1e0b1dfabffab7e9 |
|
MD5 | 64ce9126835649c73b9a1d9b4d35f9dc |
|
BLAKE2b-256 | 7f8783d710ce718edb44bf3bf41f8ab6f2d337dd2ef87069b56bab5aa05a72fd |