bookshelf.git, branch main
ACL2 で作ってみた自作ライブラリ関連
http://git.tojo.tokyo/bookshelf.git/atom?h=main
2022-07-17T17:35:07Z
lists/shuffle: Solve Double-rewrite warning.
2022-07-17T17:35:07Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-17T17:35:07Z
urn:sha1:a4331bbef99dc67fe30775d677d368a62810d9b4
lists/shuffle: Solve Free warnings.
2022-07-17T17:34:55Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-17T17:34:55Z
urn:sha1:b22f11af26fe3108dbd9636b3e5c6973ab57e6dd
lists/perm: FIx perm-rev theorem.
2022-07-17T17:28:20Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-17T17:28:20Z
urn:sha1:9278fc03885110fed1ecc4fa895b73443e224816
lists/perm: Add defcongs.
2022-07-17T17:13:36Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-17T17:13:36Z
urn:sha1:87f47e7a248325933d2aa269de898ef521716650
lists/perm: Solve Free warnings.
2022-07-17T17:13:05Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-17T17:13:05Z
urn:sha1:e062d5b7a35866b4043c2b325989e1d5a55b46c3
lists/perm: Move member-remove1.
2022-07-17T17:12:25Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-17T17:12:25Z
urn:sha1:a03cb62c324489dc4c41f84bace7e53e1d6b0efb
lists: perm: Add guards.
2022-07-16T06:35:48Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-16T06:35:48Z
urn:sha1:f23d7365a67c9b73a767162b728ed3fbdb3b79ac
lists: remove-nth, shuffle: Add remove-nth and shuffle.
2022-07-16T06:34:00Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-16T06:34:00Z
urn:sha1:8ada9230a681e8c1ee23686815c866d6eebde7e8
perm: Moved to lists directory.
2022-07-16T06:33:25Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-16T06:33:25Z
urn:sha1:3ebc1d21bf5fe94ada90a812bbc7879f7a21719f
perm: Add (in-package "ACL2").
2022-07-15T14:32:42Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-15T14:32:42Z
urn:sha1:ed32e9654d7ac587470f3a9190c708483d68de52