symbolic-evaluation topic
List
symbolic-evaluation repositories
grisette
51
Stars
3
Forks
Watchers
A monadic library for symbolic evaluation
