logic

Build status: ok failing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
    License
      Last updatedWednesday, November 19th, 2025 6:53:24pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/camoy/logic.git?path=logic277a0bbf83e39adc0d70909b5aa0ff49be9c8259
      Last checkedWednesday, December 3rd, 2025 6:53:32pm (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