tsoding/Noq

Issues

• Changing termion for crossterm

  #24 opened a year ago by SunP04
  4

• strategy for built-in rules

  #25 opened a year ago by lzace817
  0

• Request for procedures

  #12 opened 2 years ago by wiebecommajonas
  1

• support for inequations and deductions

  #23 opened a year ago by lzace817
  1

• No instruction for building

  #14 opened a year ago by ghaspias
  3

• what makes proof 'real'?

  #9 opened a year ago by Kayli
  5

• Referencing file `./examples/add.noq` that does not exist

  #16 opened a year ago by IvanVnucec
  1

• Cannot compile on windows

  #10 opened 2 years ago by mdrwsh
  3

• Semantics of `all` strategy

  #11 opened 2 years ago by wiebecommajonas
  0

• Boolean expression

  #5 opened 3 years ago by Hu1buerger
  2

• Cannot Compile On Windows

  #8 opened 3 years ago by semihartan
  4

• Replacing name of a functor turns it into a symbol

  #1 opened 3 years ago by rexim
  2