bookshelf.git/LICENSE, branch main
ACL2 で作ってみた自作ライブラリ関連
http://git.tojo.tokyo/bookshelf.git/atom?h=main
2022-07-13T15:11:33Z
Add LICENSE file.
2022-07-13T15:11:33Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-13T15:09:25Z
urn:sha1:577a3d6e856eb92bbab88f797ec54e6d29188d3d