Commit Graph

2 Commits

Author SHA1 Message Date
bc22c72c89 add some exercises, and proof of Z and K[X} being PID 2025-12-25 13:01:45 +01:00
94275b96b0 add typos detection 2025-12-25 11:26:10 +01:00