Bram-Hub/LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

JavaStars 36Forks 89Watchers 36Open issues 63License GNU General Public License v3.0

Details

仓库信息

OwnerBram-Hub

Homepage—

Last pushed2025-12-09

Last updated2025-12-15

Issues fetched at—

Community at a glance