Skip to content

Latest commit

 

History

History
9 lines (6 loc) · 484 Bytes

README.md

File metadata and controls

9 lines (6 loc) · 484 Bytes

Nova: High-speed recursive arguments from folding schemes

Note

This repository is a fork of the original hosted at https://github.com/microsoft/nova and also forked from https://github.com/argumentcomputer/arecibo currently, but will likely be so different in the future that those are just motivation.

Notes

deny

I removed deny.toml, but having this could be good to use actually,