|
|
b37a988b8f
|
URL example
|
2026-06-05 18:08:33 +02:00 |
|
|
|
e025778538
|
formatter script for local syntax files
|
2026-06-01 21:29:33 +02:00 |
|
|
|
63922abb1d
|
update readme
|
2026-01-21 22:19:56 +01:00 |
|
|
|
7540fcab1d
|
add made in Berlin
|
2026-01-21 21:59:27 +01:00 |
|
|
|
2fe6f88ed6
|
error fixes and doc updates
|
2026-01-21 20:54:16 +01:00 |
|
|
|
4c6c817431
|
documentation
|
2026-01-18 22:52:27 +01:00 |
|
|
|
b2a2974aa2
|
remove unused proofs, fix docs link
|
2026-01-08 21:24:47 +01:00 |
|
|
|
ffe389d96d
|
use non-screaming casing
|
2025-10-22 21:01:15 +02:00 |
|
