Tarski.lean: self-reported claims neither machi...

Myles Axton, 10 Aug 2026, 12:57:30 UTC

 Tarski.lean: license, authorship, and historica...

Myles Axton, 10 Aug 2026, 12:57:30 UTC

 Tarski.lean provenance record: drafting and rev...

Myles Axton, 10 Aug 2026, 12:57:30 UTC

 Tarski.lean: retrieval, hashing, ISCC, compilat...

Myles Axton, 10 Aug 2026, 12:57:30 UTC

 Tarski.lean: negative space -- what is explicit...

Myles Axton, 10 Aug 2026, 12:57:30 UTC

 Tarski.lean: compilation verification under Lea... Activity

Myles Axton, 29 Jul 2026, 15:00:47 UTC

 Tarski.lean: negative space, limits and errata (v2)

Myles Axton, 29 Jul 2026, 15:00:47 UTC

 Tarski.lean: attribution, ancestry and source c... SoftwareSourceCode Entity Attribution

Myles Axton, 29 Jul 2026, 15:00:47 UTC

 Tarski.lean provenance and credit declaration

Myles Axton, 21 Jul 2026, 13:56:27 UTC

 Tarski.lean negative-space declaration

Myles Axton, 18 Jul 2026, 15:28:18 UTC