Closed quinn-dougherty closed 2 years ago
More recently I discussed this with Morgan, who know longer believes this is viable or true. So I deleted the comment I had put in src/postamble/fv.md
about this being in future work.
In the future, we may reopen this issue and put it on the cross-repo fv board
Description
Redundant if https://github.com/ArdanaLabs/audit/issues/5 goes well. right?
Deliverable
What needs to be in the report/subsection of the audit? Should I draw up a {semi, in}-formal model? something else? optional field
Notes
optional field