uds-psl/coq-library-undecidability

Issues

• Inversion lemma for formulas

  #222 opened 4 months ago by Janis-Bai
  0

• Consider changing to a permissive or weak copyleft license

  #207 opened a year ago by palmskog
  16

• master CI fails with "/usr/bin/git ls-files" exited with code 128

  #193 opened a year ago by mrhaandi
  2

• Integration of First-Order Logic

  #177 opened 2 years ago by dominik-kirst
  10

• Superfluous Minsky Machine Models

  #160 opened 2 years ago by mrhaandi
  15

• Universe Inconsistencies

  #166 opened 2 years ago by mrhaandi
  3

• Build fails with 'The term ""hd: empty list"" has type "string" while it is expected to have type "bytestring.string".'

  #162 opened 2 years ago by haansn08
  3

• Faster CI

  #150 opened 2 years ago by mrhaandi
  2

• Definition of undecidability

  #119 opened 2 years ago by yforster
  3

• Coq 8.13

  #104 opened 3 years ago by yforster
  5

• Lemmas of stdlib interest

  #118 opened 3 years ago by mrhaandi
  4

• Overview graph

  #117 opened 4 years ago by yforster
  0

• CI launched even if not PR

  #112 opened 4 years ago by DmxLarchey
  10

• Avoiding Let ... Qed

  #102 opened 4 years ago by mrhaandi
  1

• Move _CoqProject one folder up (`./` instead `./theories/`)?

  #91 opened 4 years ago by fakusb
  7

• CI cache does not update

  #98 opened 4 years ago by mrhaandi
  6

• Uncompiled files

  #49 opened 4 years ago by fakusb
  6

• Compilation Awfully slow over NFS

  #66 opened 4 years ago by DmxLarchey
  0

• library 1.0.0+8.12 opam release

  #81 opened 4 years ago by mrhaandi
  18

• coqdoc / website

  #92 opened 4 years ago by yforster
  4

• Repository structure

  #25 opened 5 years ago by yforster
  8

• Check commands

  #44 opened 4 years ago by yforster
  5

• Confusing branches

  #73 opened 4 years ago by mrhaandi
  8

• "No such goal" in utils_list.v

  #62 opened 4 years ago by lbordowitz
  2

• Naming conventions: Enumerability vs semi-decidability vs recognisability

  #42 opened 4 years ago by yforster
  2

• Outdated CeCILL_LICENSE

  #38 opened 4 years ago
  3

• Reduce the dependencies on metacoq

  #14 opened 5 years ago by fakusb
  1