Spaces:

Yuichiroh
/

ACL2Vec

Running

App Files Files Community

ACL2Vec / README.md

Commit History

Update README.md

cea3c0e

Running
verified

Yuichiroh commited on Jul 21, 2024

initial commit

eba5fa8

Yuichiroh commited on Feb 14, 2023