issues
search
david-a-wheeler
/
mmverify.py
Metamath verifier in Python
MIT License
35
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
This commit addresses an issue where hypotheses are erroneously activ…
#25
drvdw
closed
3 months ago
1
Fixing Nonactive Hypotheses Treated as Active
#24
drvdw
opened
3 months ago
1
Fix Fhyp type
#23
zhengying-liu
closed
4 months ago
1
Issues of the hidden state
#22
jp-guo
opened
8 months ago
2
Parallelize tests
#21
david-a-wheeler
closed
1 year ago
0
Add a simple pipeline to test changes
#20
david-a-wheeler
closed
1 year ago
0
Fix errors when static type checking (e.g., mypy)
#19
minopret
closed
1 year ago
2
Replace comment with type hint
#18
io12
closed
1 year ago
2
This software no longer works with Python 3.x
#17
enjoysmath
closed
1 year ago
2
remove a logging command used only for temporary debugging
#16
benjub
closed
2 years ago
0
Inclusions
#15
benjub
closed
2 years ago
0
raise on encountering '$(' or '$)' within a comment
#14
benjub
closed
2 years ago
5
Clarify license statements
#13
david-a-wheeler
closed
2 years ago
0
add active/typed checks
#12
benjub
closed
2 years ago
4
make constants global
#11
benjub
closed
2 years ago
1
check for unclosed comments
#10
benjub
closed
2 years ago
0
vprint lines must not be multilines
#9
benjub
closed
2 years ago
0
Faster
#8
benjub
closed
2 years ago
0
Faster
#7
benjub
closed
2 years ago
13
Some code streamlining
#6
benjub
closed
2 years ago
1
Update comment to reflect the current (MIT) license on the code.
#5
cpressey
closed
2 years ago
6
Some unused variables
#4
benjub
closed
2 years ago
6
Frame in make_assertion appears to be unused.
#3
treeform
closed
2 years ago
1
I am not sure what `dvs` supposed to be.
#2
treeform
closed
2 years ago
1
What does stat_type do?
#1
treeform
closed
2 years ago
2