3 Commits

Author SHA1 Message Date
60a87fd643 small polishing, update fri-stir link 2024-12-14 20:52:21 +01:00
arnaucube
2f6706752d protogalaxy post: add proof of Lemma 4.2 2023-11-21 17:35:21 +01:00
arnaucube
9e1f807b7a add ProtoGalaxy notes 2023-08-20 19:32:15 +02:00