index
:
number-wall
master
Tools to visualise and find recurrence relations from number walls
Jed Barber
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
poly.mli
Age
Commit message (
Expand
)
Author
2022-10-30
wallgen and wallsolve working, visualwall partially done, license added
Jedidiah Barber