Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Oct 18, 2022

Remove an outdated comment from `kernel/constr.ml`
JasonGross
authored
Add equality functions for many of the Ltac2 constr kind types

JasonGross
and
SkySkimmer
committed

Commits on Oct 5, 2022

Add a separator to unsupported-attributes message

JasonGross
and
SkySkimmer
committed

Commits on Sep 26, 2022

Commits on Sep 24, 2022

Commits on Sep 23, 2022

Commits on Aug 29, 2022

Add `Ltac2.List.equal`
JasonGross
committed

Commits on Jul 3, 2022

Commits on May 18, 2022

Drop minimum zarith version to 1.11
JasonGross
committed

Commits on Apr 22, 2022

[ci] Fix fiat-crypto-ocaml build
JasonGross
committed

Commits on Feb 18, 2022

Commits on Feb 17, 2022

Quote more findlib paths
JasonGross
committed

Commits on Feb 11, 2022

[coq_makefile] Quote `OCAMLFIND` everywhere
JasonGross
committed

Commits on Jan 18, 2022

[CI] [flocq] Also install glob files
JasonGross
committed

Commits on Dec 13, 2021

Add OCaml Extraction Keywords

JasonGross
authored and
herbelin
committed
Add Haskell Extraction Keywords

JasonGross
authored and
herbelin
committed

Commits on Aug 14, 2021

Switch artifact expiration date to 1 month
JasonGross
committed

Commits on Jun 11, 2021

[ci] Improve ci-metacoq script
JasonGross
committed

Commits on Jun 3, 2021

[Extraction] [Haskell] Add support for GHC >= 9
JasonGross
committed

Commits on May 28, 2021

Fix a discrepancy between the doc and reality of `coqworkmgr`

JasonGross
authored and
ppedrot
committed

Commits on May 27, 2021

Commits on May 23, 2021

Add `inversion_sigma H` and `inversion_sigma H as ipattern`

JasonGross
authored and
Zimmi48
committed

Commits on May 12, 2021

Update the icon file to have multiple files
JasonGross
committed

Commits on May 10, 2021

Add `hex_{Z,N,positive}_scope`
JasonGross
committed

Commits on Apr 8, 2021

Add better `String_as_OT` and `Ascii_as_OT`
JasonGross
committed