Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 201fe7942b Make β-λ more generic (Argument can now be any type T instead of `Setn L) main JKF 2026-04-25 22:24:28 +02:00
• e8ee5b200c Some definitions and adjusted proofs JKF 2026-04-25 21:57:10 +02:00
• 5cbf679c0c small work Julius 2026-04-21 20:44:15 +02:00
• 077d91a485 changes JKF 2026-04-17 19:31:44 +02:00
• f9e4b4d9aa initial commit JKF 2026-04-01 18:29:46 +02:00
• 70e9a24640 Initial commit minze 2026-04-01 18:19:34 +02:00