logic

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
    License
      Last updatedTuesday, July 1st, 2025 2:55:54pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/camoy/logic.git?path=logicf100d00c3cc3cf8d705c3dcd23f5a3bb43f93b8e
      Last checkedMonday, August 18th, 2025 6:03:19pm (UTC)
      Last editedMonday, June 30th, 2025 9:02:36pm (UTC)
      Date addedMonday, June 30th, 2025 9:02:36pm (UTC)
      Modules
      • logic/tests/match.rkt
      • logic/tests/relation.rkt
      • logic/tests/qea.rkt
      • logic/tests/nfa.rkt
      • logic/tests/pltl.rkt
      • logic/tests/dfa.rkt
      • logic/tests/sl.rkt
      • logic/tests/re.rkt
      • logic/scribblings/logic.scrbl