issues
search
nicolasjulioflores
/
calculus-reasoner
Equational reasoner for calculus
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Some more laws
#5
sjcjoosten
opened
4 years ago
0
Parsing
#4
sjcjoosten
opened
4 years ago
1
Feature request: command line interface
#3
sjcjoosten
opened
4 years ago
1
Problems matching more complicated laws
#2
sjcjoosten
opened
4 years ago
4
Package info needs updating
#1
sjcjoosten
opened
4 years ago
2