glacode/yamma

Issues

• File inclusion not supported

  #18 opened 2 months ago by tirix
  1

• VSCode applies additional filtering on Completion Items

  #16 opened 2 months ago by glacode
  1

• Support the `?` unfinished proofs

  #17 opened 2 months ago by tirix
  6

• Exception: This method should be invoked with distinct vars

  #15 opened 9 months ago by tirix
  3

• Theory is loaded several times

  #14 opened 9 months ago by tirix
  9

• Add spaces after brackets

  #13 opened 10 months ago by metakunt
  3

• I can't get the extension to run

  #12 opened 10 months ago by metakunt
  3

• Add deduplication to proof compression algorithm

  #7 opened a year ago by tirix
  3

• Update marketplace installation procedure

  #10 opened a year ago by tirix
  3

• Crash - The USubstitutionBuilder is trying to build a build a ParseNode [...]

  #8 opened 2 years ago by tirix
  10

• Maximum Call Stack Size Exceeded

  #9 opened 2 years ago by tirix
  7

• Vertices must be an interval of integers starting from 0

  #6 opened 2 years ago by tirix
  11

• Unknown language in `contributes.grammars.language`. Provided value: yamma

  #5 opened 2 years ago by tirix
  5

• yamma/unify : No result returned

  #4 opened 2 years ago by tirix
  5

• Progress handler for token TEST-PROGRESS-TOKEN already registered

  #3 opened 2 years ago by tirix
  5