Felix Dilke fdilke

0 Followers · 0 Following

• Joined on 2025-09-02

Repositories

1

Projects Packages Public Activity Starred Repositories

fdilke pushed to main at fdilke/pyrites 2026-01-12 18:01:41 +00:00

f5b0c2b7c3 implementing 𝟙-induction

fdilke pushed to main at fdilke/pyrites 2026-01-12 15:22:39 +00:00

f809bde68d additional files

fdilke pushed to main at fdilke/pyrites 2026-01-12 15:21:54 +00:00

2232600ed1 initial agda code with Owen's pseudocode from the Geolog lectures, and some universe library code from Escardo's book

fdilke pushed to main at fdilke/pyrites 2026-01-12 10:51:08 +00:00

09ddf9556e updated README

fdilke created repository fdilke/pyrites 2026-01-12 10:47:19 +00:00