Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·6d
Loading...Loading more...
Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools