issues
search
microsoft
/
Nova
Nova: High-speed recursive arguments from folding schemes
MIT License
673
stars
176
forks
source link
avoid calls to pp.digest in prove methods
#320
Closed
srinathsetty
closed
1 month ago