cannorin
|
9b75cf11c9
|
kripke: improve constant optimization (#107)
* kripke: improve constant optimization
* kripke: improve constant optimization (2)
---------
Co-authored-by: cannorin <cannorin@users.noreply.github.com>
|
2025-11-02 16:10:35 +09:00 |
|
|
|
ad56ae948e
|
Refactor (2)
|
2025-09-23 16:18:53 +09:00 |
|
|
|
c3b1bf39a4
|
Refactor (1)
|
2025-09-23 16:18:53 +09:00 |
|
|
|
adfae65138
|
kripke: more symbols
|
2025-02-22 11:19:58 +09:00 |
|
|
|
d8e03512ad
|
kripke: support word syntax
|
2025-02-22 10:53:58 +09:00 |
|
|
|
002531d48f
|
kripke: make it playable
|
2025-02-19 16:59:47 +09:00 |
|
|
|
68bd50648b
|
kripke: create PoC
|
2025-02-19 03:20:17 +09:00 |
|
|
|
960c5323ed
|
kripke: add frame input
|
2025-02-18 07:29:45 +09:00 |
|
|
|
7a81594a86
|
web: add /kripke
|
2025-02-18 05:24:54 +09:00 |
|
|
|
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 |
|
