issues
search
ishanpm
/
metamathlinear
Implementation of linear logic in Metamath
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make/find a theorem rename tool
#2
ishanpm
opened
3 years ago
0
Make "deduction" and "syllogism" terminology consistent.
#1
ishanpm
opened
3 years ago
3