3 Commits

Author	SHA1	Message	Date
mossbiscuits	0d0f7a7cda	Fix #29	2025-08-22 13:50:11 -06:00
mossbiscuits	0cb4f7ed82	fix icon	2025-08-21 16:15:06 -06:00
mossbiscuits	67276e8e46	Add model checkers. Close #2	2025-06-23 13:44:10 -06:00