sr-lab/coqpyt

Issues

• failed tests and errors

  #45 opened 2 months ago by jizej
  1

• Segmentation Fault when loading 'coq/theories/Numbers/Cyclic/Int63/PrimInt63.v'

  #35 opened 5 months ago by laetitia-teo
  4

• Handling of last step

  #28 opened 9 months ago by pcarrott
  1

• Change index parameter in add_step

  #27 opened 9 months ago by pcarrott
  0

• tactics and theorems with the same name

  #24 opened 10 months ago by Nfsaavedra
  1

• ulimit command doesn't work on macos

  #20 opened 10 months ago by CudraniaTrec
  5

• Support for multiple Coq versions

  #12 opened 10 months ago by Nfsaavedra
  0

• Allow interaction with Coq files

  #13 opened 10 months ago by Nfsaavedra
  0

• Improve performance of ProofState

  #17 opened 10 months ago by Nfsaavedra
  0

• Timeout when there is an open comment in the end of a file

  #16 opened a year ago by Nfsaavedra
  0

• Support Anonymous Instances

  #15 opened a year ago by Nfsaavedra
  0

• Handle Section constructs (Let, Variable...)

  #4 opened a year ago by Nfsaavedra
  0

• Fix Module Types handling

  #14 opened a year ago by Nfsaavedra
  0

• Fix default branch from GH Actions workflows

  #2 opened a year ago by Nfsaavedra
  0