issues
search
andrewchawk
/
casanova-fly
Casanova Fly is a formally-verified computer algebra system.
The Unlicense
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Defining Tree-Based Evaluation
#11
andrewchawk
opened
6 days ago
0
Evaluation Rule Names
#10
andrewchawk
opened
1 week ago
0
Step-Skipping Evaluation
#9
andrewchawk
opened
1 week ago
0
Tree-Based Evaluation
#8
andrewchawk
opened
1 week ago
4
Support for x/x and such with IsConstant
#7
andrewchawk
opened
1 week ago
0
Better Lambda Constructor
#6
andrewchawk
closed
2 weeks ago
0
Datatype-Based Algebraic Equality Type
#5
andrewchawk
closed
2 weeks ago
1
Better Less-Than Type
#4
andrewchawk
closed
2 weeks ago
0
Composition
#3
andrewchawk
closed
1 week ago
1
Chain Rule
#2
andrewchawk
closed
1 week ago
1
Better Equality Type
#1
andrewchawk
closed
1 month ago
0