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

 Cavia_porcellus_bourbakii user intro Bot SoftwareAgent

Myles Axton, 14 Jul 2026, 15:03:28 UTC

 User: Myles Axton user intro

Myles Axton, 14 Jul 2026, 15:02:58 UTC

 User: Myles Axton user intro

Myles Axton, 23 Jun 2026, 15:49:03 UTC

 RA63oCTo7S image

Myles Axton, 22 Jun 2026, 18:24:24 UTC

 User: Myles Axton user intro

Myles Axton, 22 Jun 2026, 16:43:18 UTC