issues
search
toku-sa-n
/
coqfmt
Coq code formatter
https://toku-sa-n.github.io/coqfmt/
GNU Affero General Public License v3.0
21
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Pp a `solve`
#463
toku-sa-n
closed
5 months ago
0
Pin versions of external GitHub Actions by hashes
#462
toku-sa-n
closed
5 months ago
0
Pp a `type of`
#461
toku-sa-n
closed
5 months ago
0
Bump actions/checkout from 4.1.3 to 4.1.4
#460
dependabot[bot]
closed
5 months ago
0
Bump actions/checkout from 4.1.2 to 4.1.3
#459
dependabot[bot]
closed
6 months ago
0
Bump ocaml/setup-ocaml from 2.2.7 to 2.2.8
#458
dependabot[bot]
closed
6 months ago
0
Bump DavidAnson/markdownlint-cli2-action from 15.0.0 to 16.0.0
#457
dependabot[bot]
closed
6 months ago
0
Bump ocaml/setup-ocaml from 2.2.6 to 2.2.7
#456
dependabot[bot]
closed
6 months ago
0
Bump actions/configure-pages from 4.0.0 to 5.0.0
#455
dependabot[bot]
closed
6 months ago
0
Pp nested `match-goal`s
#454
toku-sa-n
closed
6 months ago
0
Pp a `match goal` with a wildcard
#453
toku-sa-n
closed
6 months ago
0
Fix the indent inside a `repeat`
#452
toku-sa-n
closed
6 months ago
0
Pp a `||` with long tactics
#451
toku-sa-n
closed
6 months ago
0
Pp a `Eval simpl in`
#450
toku-sa-n
closed
6 months ago
0
Pp a `Corollary`
#449
toku-sa-n
closed
6 months ago
0
Pp tactics with `||` and parentheses
#448
toku-sa-n
closed
6 months ago
0
Pp a `fail`
#447
toku-sa-n
closed
6 months ago
0
Pp a `||`
#446
toku-sa-n
closed
6 months ago
0
Pp a `specialize`
#445
toku-sa-n
closed
7 months ago
0
Pp a `Hint Unfold` with multiple identifiers
#444
toku-sa-n
closed
7 months ago
0
Pp a `unfold` with a notation
#443
toku-sa-n
closed
7 months ago
0
Pp a `Notation` with a delimiter
#442
toku-sa-n
closed
7 months ago
0
Pp a `Delimit Scope`
#441
toku-sa-n
closed
7 months ago
0
Pp a `Bind Scope`
#440
toku-sa-n
closed
7 months ago
0
Pp an `Arguments` with a slash
#439
toku-sa-n
closed
7 months ago
0
Pp a `Coercion` with a `Sortclass`
#438
toku-sa-n
closed
7 months ago
0
Pp an `Add Printing Coercion`
#437
toku-sa-n
closed
7 months ago
0
Pp an `apply ... with ...` with multiple implicit variables
#436
toku-sa-n
closed
7 months ago
0
Pp a `replace` with `in`
#435
toku-sa-n
closed
7 months ago
0
Bump actions/deploy-pages from 4.0.4 to 4.0.5
#434
dependabot[bot]
closed
7 months ago
2
Pp a `clear` with multiple identifiers
#433
toku-sa-n
closed
7 months ago
0
Fixes #431
#432
toku-sa-n
closed
7 months ago
0
`coqfmt` wrongly inserts `;` as a separator
#431
toku-sa-n
closed
7 months ago
0
Pp an `assert` without labels
#430
toku-sa-n
closed
7 months ago
0
Pp a `replace` with a `by`
#429
toku-sa-n
closed
7 months ago
0
Pp an `unfold` with multiple identifiers
#428
toku-sa-n
closed
7 months ago
0
Break a long `Extract Inductive`
#427
toku-sa-n
closed
7 months ago
0
Bump actions/checkout from 4.1.1 to 4.1.2
#426
dependabot[bot]
closed
7 months ago
0
Bump ocaml/setup-ocaml from 2.2.5 to 2.2.6
#425
dependabot[bot]
closed
7 months ago
0
Insert empty lines around `Extract Inductive`s
#424
toku-sa-n
closed
7 months ago
0
Pp an `Extraction` with multiple identifiers
#423
toku-sa-n
closed
7 months ago
0
Pp an `Extract Constant`
#422
toku-sa-n
closed
7 months ago
0
Insert empty lines between commands of the extraction plugin
#421
toku-sa-n
closed
7 months ago
0
Pp an `Extract Inductive`
#420
toku-sa-n
closed
7 months ago
0
Bump DavidAnson/markdownlint-cli2-action from 1.0.0 to 15.0.0
#419
dependabot[bot]
closed
7 months ago
0
Pp an `Extraction`
#418
toku-sa-n
closed
7 months ago
0
Lint markdowns with `markdownlint-cli2-action`
#417
toku-sa-n
closed
7 months ago
0
Remove an unnecessary option
#416
toku-sa-n
closed
7 months ago
0
Update the version of `ocamlformat` to 0.26.1
#415
toku-sa-n
closed
7 months ago
0
Bump ocaml/opam from ubuntu-23.04-ocaml-4.14 to ubuntu-23.04-ocaml-5.3
#414
dependabot[bot]
opened
8 months ago
0
Previous
Next