Closed claude-betz closed 5 months ago
It seems useful for users to be able to verify programs from axioms up rather than just as the functions appear in the file.
This change should vend this functionality via a flag based on the topological order we already implemented in https://github.com/xr0-org/xr0/issues/22
It seems useful for users to be able to verify programs from axioms up rather than just as the functions appear in the file.
This change should vend this functionality via a flag based on the topological order we already implemented in https://github.com/xr0-org/xr0/issues/22