RBornat/jape

Issues

• Add a web interface using WebAssembly?

  #2 opened 3 years ago by teymour-aldridge
  16

• Jape crush in macOS

  #25 opened a year ago by 123321abccba1
  14

• Obscure Jape Error Message

  #24 opened a year ago by haz
  3

• Example file set_syntax.j and set_russell.j can not open

  #22 opened a year ago by 123321abccba1
  3

• Can not run program

  #21 opened a year ago by 123321abccba1
  13

• Jape hanging on proof load

  #20 opened 2 years ago by haz
  7

• Problem with MacOs distribution and Linux Ubuntu

  #19 opened 2 years ago by komolcia
  3

• Multiple premises do not show up on separate lines

  #18 opened 3 years ago by AsadGulbahar
  1

• Cannot open file

  #17 opened 3 years ago by AsadGulbahar
  2

• thread to record problems (and successes) in installing jape with Flatpak

  #16 opened 3 years ago by RBornat
  0

• How to install the snap version?

  #11 opened 3 years ago by adarah
  1

• Jape doesn't render the new conjecture prompt correctly

  #15 opened 3 years ago by Cagdas94
  2

• Crash with 9.1.1

  #14 opened 3 years ago by haz
  4

• 9.1.0d doesn't start under MacOS

  #13 opened 3 years ago by RBornat
  15

• Problems installing 9.1.0b on Windows with Spaces in Username

  #12 opened 3 years ago by haz
  11

• Add CI integration?

  #6 opened 3 years ago by teymour-aldridge
  5

• Not support for MacOS big sur

  #7 opened 3 years ago by charliechen233
  23

• InstallerKit failed to build from sources

  #1 opened 5 years ago by vvs-
  4