Repository navigation
Alternate: Kami word directly on stdlib Zmod (comparison with #51) - #52
Closed
JasonGross wants to merge 1 commit into
Closed
JasonGross wants to merge 1 commit into
JasonGross wants to merge 1 commit into
Annotations
10 warnings
|
all:
Kami/Lib/DepEqNat.v#L13
This interactive proof is not started by the "Proof" command.
|
|
all:
Kami/Lib/Concat.v#L5
Option Asymmetric Patterns No Implicits is deprecated since 9.3.
|
|
all:
Kami/Lib/DepEq.v#L18
Implicitly declaring Rewrite hint databases is deprecated. Please
|
|
all:
Kami/Lib/DepEq.v#L3
"From Coq" has been replaced by "From Stdlib".
|
|
all:
Kami/Lib/DepEq.v#L2
"From Coq" has been replaced by "From Stdlib".
|
|
all:
Kami/Lib/BasicLogic.v#L33
Implicitly declaring Rewrite hint databases is deprecated. Please
|
|
all:
Kami/Lib/BasicLogic.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
all:
Kami/Lib/CommonTactics.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
all:
Kami/Lib/Concat.v#L1
"From Coq" has been replaced by "From Stdlib".
|
|
all:
Kami/Lib/DepEq.v#L1
"From Coq" has been replaced by "From Stdlib".
|
background
wait
wait-all
cancel
parallel
Loading