Commit Graph

3 Commits

Author SHA1 Message Date
6d262460f2 kripke: add prettyPrint 2025-02-18 04:52:51 +09:00
58c9729b59 Merge branch 'main' of github.com:cannorin/cannorin.net 2025-02-17 23:22:35 +09:00
2e36390a5d Add packages/kripke 2025-02-17 23:21:53 +09:00