5 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
jaseg	2f0fc89b99	Update with fixes from Konrad, proof references	2025-05-26 17:28:49 +02:00
jaseg	46da9173c5	Rework for 3.0/VAU version w/o SGD	2025-05-16 21:53:17 +02:00
jaseg	6937131126	Result of first proof	2025-05-15 23:34:15 +02:00
jaseg	9863ed460e	Text mostly done	2025-05-15 17:45:38 +02:00
jaseg	3f1f1aacaf	Initial commit	2025-05-10 13:52:24 +02:00