FormalSAT/trestle

Issues

• rename project

  #23 opened 6 months ago
  1

• Provide `PropForm` booleanalgebra notation

  #17 opened 7 months ago
  0

• put FinEnum in a namespace

  #14 opened 6 months ago
  1

• add definitions for satisfiable/unsatisfiable

  #13 opened 7 months ago
  1

• Add an abbreviation for PropAssn -> Prop

  #12 opened 7 months ago
  1

• Adopt the Research Codebase Manifesto?

  #9 opened 8 months ago
  2

• put examples into CI

  #7 opened 8 months ago
  0

• waterfall test

  #3 opened 8 months ago
  22