math/lean4-std: New port: Lean4: Std library
This commit is contained in:
Yuri Victorovich
parent
5b496eb1e5
commit
a59c920e65
|
|
@ -438,6 +438,7 @@
|
|||
SUBDIR += ldouble
|
||||
SUBDIR += lean
|
||||
SUBDIR += lean4
|
||||
SUBDIR += lean4-std
|
||||
SUBDIR += leangz
|
||||
SUBDIR += lemon
|
||||
SUBDIR += levmar
|
||||
|
|
|
|||
|
|
@ -0,0 +1,31 @@
|
|||
PORTNAME= lean4-std
|
||||
DISTVERSIONPREFIX= v
|
||||
DISTVERSION= 4.5.0-rc1
|
||||
CATEGORIES= math
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
COMMENT= Lean4: Std library
|
||||
WWW= https://lean-lang.org/
|
||||
|
||||
LICENSE= APACHE20
|
||||
LICENSE_FILE= ${WRKSRC}/LICENSE
|
||||
|
||||
BUILD_DEPENDS= lake:math/lean4
|
||||
|
||||
USE_GITHUB= yes
|
||||
GH_ACCOUNT= leanprover
|
||||
GH_PROJECT= std4
|
||||
|
||||
NO_ARCH= yes
|
||||
|
||||
do-build:
|
||||
@cd ${WRKSRC} && \
|
||||
lake build
|
||||
|
||||
do-install:
|
||||
${MKDIR} ${STAGEDIR}${PREFIX}/lib/lean
|
||||
cd ${WRKSRC}/.lake/build/lib && \
|
||||
${INSTALL_DATA} Std.olean ${STAGEDIR}${PREFIX}/lib/lean && \
|
||||
${COPYTREE_SHARE} Std ${STAGEDIR}${PREFIX}/lib/lean
|
||||
|
||||
.include <bsd.port.mk>
|
||||
|
|
@ -0,0 +1,3 @@
|
|||
TIMESTAMP = 1705396087
|
||||
SHA256 (leanprover-std4-v4.5.0-rc1_GH0.tar.gz) = 2b2812f5b6f89ef4facc8d2bf09ecc33f5e9918f80573fa29662314102ca0455
|
||||
SIZE (leanprover-std4-v4.5.0-rc1_GH0.tar.gz) = 437646
|
||||
|
|
@ -0,0 +1 @@
|
|||
Std library for Lean4, the math theorem prover.
|
||||
|
|
@ -0,0 +1,926 @@
|
|||
lib/lean/Std.olean
|
||||
lib/lean/Std/Classes/BEq.ilean
|
||||
lib/lean/Std/Classes/BEq.ilean.hash
|
||||
lib/lean/Std/Classes/BEq.olean
|
||||
lib/lean/Std/Classes/BEq.olean.hash
|
||||
lib/lean/Std/Classes/BEq.trace
|
||||
lib/lean/Std/Classes/Cast.ilean
|
||||
lib/lean/Std/Classes/Cast.ilean.hash
|
||||
lib/lean/Std/Classes/Cast.olean
|
||||
lib/lean/Std/Classes/Cast.olean.hash
|
||||
lib/lean/Std/Classes/Cast.trace
|
||||
lib/lean/Std/Classes/Dvd.ilean
|
||||
lib/lean/Std/Classes/Dvd.ilean.hash
|
||||
lib/lean/Std/Classes/Dvd.olean
|
||||
lib/lean/Std/Classes/Dvd.olean.hash
|
||||
lib/lean/Std/Classes/Dvd.trace
|
||||
lib/lean/Std/Classes/LawfulMonad.ilean
|
||||
lib/lean/Std/Classes/LawfulMonad.ilean.hash
|
||||
lib/lean/Std/Classes/LawfulMonad.olean
|
||||
lib/lean/Std/Classes/LawfulMonad.olean.hash
|
||||
lib/lean/Std/Classes/LawfulMonad.trace
|
||||
lib/lean/Std/Classes/Order.ilean
|
||||
lib/lean/Std/Classes/Order.ilean.hash
|
||||
lib/lean/Std/Classes/Order.olean
|
||||
lib/lean/Std/Classes/Order.olean.hash
|
||||
lib/lean/Std/Classes/Order.trace
|
||||
lib/lean/Std/Classes/RatCast.ilean
|
||||
lib/lean/Std/Classes/RatCast.ilean.hash
|
||||
lib/lean/Std/Classes/RatCast.olean
|
||||
lib/lean/Std/Classes/RatCast.olean.hash
|
||||
lib/lean/Std/Classes/RatCast.trace
|
||||
lib/lean/Std/Classes/SetNotation.ilean
|
||||
lib/lean/Std/Classes/SetNotation.ilean.hash
|
||||
lib/lean/Std/Classes/SetNotation.olean
|
||||
lib/lean/Std/Classes/SetNotation.olean.hash
|
||||
lib/lean/Std/Classes/SetNotation.trace
|
||||
lib/lean/Std/CodeAction.ilean
|
||||
lib/lean/Std/CodeAction.ilean.hash
|
||||
lib/lean/Std/CodeAction.olean
|
||||
lib/lean/Std/CodeAction.olean.hash
|
||||
lib/lean/Std/CodeAction.trace
|
||||
lib/lean/Std/CodeAction/Attr.ilean
|
||||
lib/lean/Std/CodeAction/Attr.ilean.hash
|
||||
lib/lean/Std/CodeAction/Attr.olean
|
||||
lib/lean/Std/CodeAction/Attr.olean.hash
|
||||
lib/lean/Std/CodeAction/Attr.trace
|
||||
lib/lean/Std/CodeAction/Basic.ilean
|
||||
lib/lean/Std/CodeAction/Basic.ilean.hash
|
||||
lib/lean/Std/CodeAction/Basic.olean
|
||||
lib/lean/Std/CodeAction/Basic.olean.hash
|
||||
lib/lean/Std/CodeAction/Basic.trace
|
||||
lib/lean/Std/CodeAction/Deprecated.ilean
|
||||
lib/lean/Std/CodeAction/Deprecated.ilean.hash
|
||||
lib/lean/Std/CodeAction/Deprecated.olean
|
||||
lib/lean/Std/CodeAction/Deprecated.olean.hash
|
||||
lib/lean/Std/CodeAction/Deprecated.trace
|
||||
lib/lean/Std/CodeAction/Misc.ilean
|
||||
lib/lean/Std/CodeAction/Misc.ilean.hash
|
||||
lib/lean/Std/CodeAction/Misc.olean
|
||||
lib/lean/Std/CodeAction/Misc.olean.hash
|
||||
lib/lean/Std/CodeAction/Misc.trace
|
||||
lib/lean/Std/Control/ForInStep.ilean
|
||||
lib/lean/Std/Control/ForInStep.ilean.hash
|
||||
lib/lean/Std/Control/ForInStep.olean
|
||||
lib/lean/Std/Control/ForInStep.olean.hash
|
||||
lib/lean/Std/Control/ForInStep.trace
|
||||
lib/lean/Std/Control/ForInStep/Basic.ilean
|
||||
lib/lean/Std/Control/ForInStep/Basic.ilean.hash
|
||||
lib/lean/Std/Control/ForInStep/Basic.olean
|
||||
lib/lean/Std/Control/ForInStep/Basic.olean.hash
|
||||
lib/lean/Std/Control/ForInStep/Basic.trace
|
||||
lib/lean/Std/Control/ForInStep/Lemmas.ilean
|
||||
lib/lean/Std/Control/ForInStep/Lemmas.ilean.hash
|
||||
lib/lean/Std/Control/ForInStep/Lemmas.olean
|
||||
lib/lean/Std/Control/ForInStep/Lemmas.olean.hash
|
||||
lib/lean/Std/Control/ForInStep/Lemmas.trace
|
||||
lib/lean/Std/Control/Lemmas.ilean
|
||||
lib/lean/Std/Control/Lemmas.ilean.hash
|
||||
lib/lean/Std/Control/Lemmas.olean
|
||||
lib/lean/Std/Control/Lemmas.olean.hash
|
||||
lib/lean/Std/Control/Lemmas.trace
|
||||
lib/lean/Std/Data/Array/Basic.ilean
|
||||
lib/lean/Std/Data/Array/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Array/Basic.olean
|
||||
lib/lean/Std/Data/Array/Basic.olean.hash
|
||||
lib/lean/Std/Data/Array/Basic.trace
|
||||
lib/lean/Std/Data/Array/Init/Basic.ilean
|
||||
lib/lean/Std/Data/Array/Init/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Array/Init/Basic.olean
|
||||
lib/lean/Std/Data/Array/Init/Basic.olean.hash
|
||||
lib/lean/Std/Data/Array/Init/Basic.trace
|
||||
lib/lean/Std/Data/Array/Init/Lemmas.ilean
|
||||
lib/lean/Std/Data/Array/Init/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Array/Init/Lemmas.olean
|
||||
lib/lean/Std/Data/Array/Init/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Array/Init/Lemmas.trace
|
||||
lib/lean/Std/Data/Array/Lemmas.ilean
|
||||
lib/lean/Std/Data/Array/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Array/Lemmas.olean
|
||||
lib/lean/Std/Data/Array/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Array/Lemmas.trace
|
||||
lib/lean/Std/Data/Array/Match.ilean
|
||||
lib/lean/Std/Data/Array/Match.ilean.hash
|
||||
lib/lean/Std/Data/Array/Match.olean
|
||||
lib/lean/Std/Data/Array/Match.olean.hash
|
||||
lib/lean/Std/Data/Array/Match.trace
|
||||
lib/lean/Std/Data/Array/Merge.ilean
|
||||
lib/lean/Std/Data/Array/Merge.ilean.hash
|
||||
lib/lean/Std/Data/Array/Merge.olean
|
||||
lib/lean/Std/Data/Array/Merge.olean.hash
|
||||
lib/lean/Std/Data/Array/Merge.trace
|
||||
lib/lean/Std/Data/AssocList.ilean
|
||||
lib/lean/Std/Data/AssocList.ilean.hash
|
||||
lib/lean/Std/Data/AssocList.olean
|
||||
lib/lean/Std/Data/AssocList.olean.hash
|
||||
lib/lean/Std/Data/AssocList.trace
|
||||
lib/lean/Std/Data/BinomialHeap.ilean
|
||||
lib/lean/Std/Data/BinomialHeap.ilean.hash
|
||||
lib/lean/Std/Data/BinomialHeap.olean
|
||||
lib/lean/Std/Data/BinomialHeap.olean.hash
|
||||
lib/lean/Std/Data/BinomialHeap.trace
|
||||
lib/lean/Std/Data/BinomialHeap/Basic.ilean
|
||||
lib/lean/Std/Data/BinomialHeap/Basic.ilean.hash
|
||||
lib/lean/Std/Data/BinomialHeap/Basic.olean
|
||||
lib/lean/Std/Data/BinomialHeap/Basic.olean.hash
|
||||
lib/lean/Std/Data/BinomialHeap/Basic.trace
|
||||
lib/lean/Std/Data/BinomialHeap/Lemmas.ilean
|
||||
lib/lean/Std/Data/BinomialHeap/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/BinomialHeap/Lemmas.olean
|
||||
lib/lean/Std/Data/BinomialHeap/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/BinomialHeap/Lemmas.trace
|
||||
lib/lean/Std/Data/BitVec.ilean
|
||||
lib/lean/Std/Data/BitVec.ilean.hash
|
||||
lib/lean/Std/Data/BitVec.olean
|
||||
lib/lean/Std/Data/BitVec.olean.hash
|
||||
lib/lean/Std/Data/BitVec.trace
|
||||
lib/lean/Std/Data/BitVec/Basic.ilean
|
||||
lib/lean/Std/Data/BitVec/Basic.ilean.hash
|
||||
lib/lean/Std/Data/BitVec/Basic.olean
|
||||
lib/lean/Std/Data/BitVec/Basic.olean.hash
|
||||
lib/lean/Std/Data/BitVec/Basic.trace
|
||||
lib/lean/Std/Data/BitVec/Bitblast.ilean
|
||||
lib/lean/Std/Data/BitVec/Bitblast.ilean.hash
|
||||
lib/lean/Std/Data/BitVec/Bitblast.olean
|
||||
lib/lean/Std/Data/BitVec/Bitblast.olean.hash
|
||||
lib/lean/Std/Data/BitVec/Bitblast.trace
|
||||
lib/lean/Std/Data/BitVec/Folds.ilean
|
||||
lib/lean/Std/Data/BitVec/Folds.ilean.hash
|
||||
lib/lean/Std/Data/BitVec/Folds.olean
|
||||
lib/lean/Std/Data/BitVec/Folds.olean.hash
|
||||
lib/lean/Std/Data/BitVec/Folds.trace
|
||||
lib/lean/Std/Data/BitVec/Lemmas.ilean
|
||||
lib/lean/Std/Data/BitVec/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/BitVec/Lemmas.olean
|
||||
lib/lean/Std/Data/BitVec/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/BitVec/Lemmas.trace
|
||||
lib/lean/Std/Data/Bool.ilean
|
||||
lib/lean/Std/Data/Bool.ilean.hash
|
||||
lib/lean/Std/Data/Bool.olean
|
||||
lib/lean/Std/Data/Bool.olean.hash
|
||||
lib/lean/Std/Data/Bool.trace
|
||||
lib/lean/Std/Data/Char.ilean
|
||||
lib/lean/Std/Data/Char.ilean.hash
|
||||
lib/lean/Std/Data/Char.olean
|
||||
lib/lean/Std/Data/Char.olean.hash
|
||||
lib/lean/Std/Data/Char.trace
|
||||
lib/lean/Std/Data/DList.ilean
|
||||
lib/lean/Std/Data/DList.ilean.hash
|
||||
lib/lean/Std/Data/DList.olean
|
||||
lib/lean/Std/Data/DList.olean.hash
|
||||
lib/lean/Std/Data/DList.trace
|
||||
lib/lean/Std/Data/Fin/Basic.ilean
|
||||
lib/lean/Std/Data/Fin/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Fin/Basic.olean
|
||||
lib/lean/Std/Data/Fin/Basic.olean.hash
|
||||
lib/lean/Std/Data/Fin/Basic.trace
|
||||
lib/lean/Std/Data/Fin/Init/Lemmas.ilean
|
||||
lib/lean/Std/Data/Fin/Init/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Fin/Init/Lemmas.olean
|
||||
lib/lean/Std/Data/Fin/Init/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Fin/Init/Lemmas.trace
|
||||
lib/lean/Std/Data/Fin/Iterate.ilean
|
||||
lib/lean/Std/Data/Fin/Iterate.ilean.hash
|
||||
lib/lean/Std/Data/Fin/Iterate.olean
|
||||
lib/lean/Std/Data/Fin/Iterate.olean.hash
|
||||
lib/lean/Std/Data/Fin/Iterate.trace
|
||||
lib/lean/Std/Data/Fin/Lemmas.ilean
|
||||
lib/lean/Std/Data/Fin/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Fin/Lemmas.olean
|
||||
lib/lean/Std/Data/Fin/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Fin/Lemmas.trace
|
||||
lib/lean/Std/Data/HashMap.ilean
|
||||
lib/lean/Std/Data/HashMap.ilean.hash
|
||||
lib/lean/Std/Data/HashMap.olean
|
||||
lib/lean/Std/Data/HashMap.olean.hash
|
||||
lib/lean/Std/Data/HashMap.trace
|
||||
lib/lean/Std/Data/HashMap/Basic.ilean
|
||||
lib/lean/Std/Data/HashMap/Basic.ilean.hash
|
||||
lib/lean/Std/Data/HashMap/Basic.olean
|
||||
lib/lean/Std/Data/HashMap/Basic.olean.hash
|
||||
lib/lean/Std/Data/HashMap/Basic.trace
|
||||
lib/lean/Std/Data/HashMap/Lemmas.ilean
|
||||
lib/lean/Std/Data/HashMap/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/HashMap/Lemmas.olean
|
||||
lib/lean/Std/Data/HashMap/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/HashMap/Lemmas.trace
|
||||
lib/lean/Std/Data/HashMap/WF.ilean
|
||||
lib/lean/Std/Data/HashMap/WF.ilean.hash
|
||||
lib/lean/Std/Data/HashMap/WF.olean
|
||||
lib/lean/Std/Data/HashMap/WF.olean.hash
|
||||
lib/lean/Std/Data/HashMap/WF.trace
|
||||
lib/lean/Std/Data/Int/Basic.ilean
|
||||
lib/lean/Std/Data/Int/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Int/Basic.olean
|
||||
lib/lean/Std/Data/Int/Basic.olean.hash
|
||||
lib/lean/Std/Data/Int/Basic.trace
|
||||
lib/lean/Std/Data/Int/DivMod.ilean
|
||||
lib/lean/Std/Data/Int/DivMod.ilean.hash
|
||||
lib/lean/Std/Data/Int/DivMod.olean
|
||||
lib/lean/Std/Data/Int/DivMod.olean.hash
|
||||
lib/lean/Std/Data/Int/DivMod.trace
|
||||
lib/lean/Std/Data/Int/Lemmas.ilean
|
||||
lib/lean/Std/Data/Int/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Int/Lemmas.olean
|
||||
lib/lean/Std/Data/Int/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Int/Lemmas.trace
|
||||
lib/lean/Std/Data/Json.ilean
|
||||
lib/lean/Std/Data/Json.ilean.hash
|
||||
lib/lean/Std/Data/Json.olean
|
||||
lib/lean/Std/Data/Json.olean.hash
|
||||
lib/lean/Std/Data/Json.trace
|
||||
lib/lean/Std/Data/List/Basic.ilean
|
||||
lib/lean/Std/Data/List/Basic.ilean.hash
|
||||
lib/lean/Std/Data/List/Basic.olean
|
||||
lib/lean/Std/Data/List/Basic.olean.hash
|
||||
lib/lean/Std/Data/List/Basic.trace
|
||||
lib/lean/Std/Data/List/Count.ilean
|
||||
lib/lean/Std/Data/List/Count.ilean.hash
|
||||
lib/lean/Std/Data/List/Count.olean
|
||||
lib/lean/Std/Data/List/Count.olean.hash
|
||||
lib/lean/Std/Data/List/Count.trace
|
||||
lib/lean/Std/Data/List/Init/Attach.ilean
|
||||
lib/lean/Std/Data/List/Init/Attach.ilean.hash
|
||||
lib/lean/Std/Data/List/Init/Attach.olean
|
||||
lib/lean/Std/Data/List/Init/Attach.olean.hash
|
||||
lib/lean/Std/Data/List/Init/Attach.trace
|
||||
lib/lean/Std/Data/List/Init/Lemmas.ilean
|
||||
lib/lean/Std/Data/List/Init/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/List/Init/Lemmas.olean
|
||||
lib/lean/Std/Data/List/Init/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/List/Init/Lemmas.trace
|
||||
lib/lean/Std/Data/List/Lemmas.ilean
|
||||
lib/lean/Std/Data/List/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/List/Lemmas.olean
|
||||
lib/lean/Std/Data/List/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/List/Lemmas.trace
|
||||
lib/lean/Std/Data/List/Pairwise.ilean
|
||||
lib/lean/Std/Data/List/Pairwise.ilean.hash
|
||||
lib/lean/Std/Data/List/Pairwise.olean
|
||||
lib/lean/Std/Data/List/Pairwise.olean.hash
|
||||
lib/lean/Std/Data/List/Pairwise.trace
|
||||
lib/lean/Std/Data/List/Perm.ilean
|
||||
lib/lean/Std/Data/List/Perm.ilean.hash
|
||||
lib/lean/Std/Data/List/Perm.olean
|
||||
lib/lean/Std/Data/List/Perm.olean.hash
|
||||
lib/lean/Std/Data/List/Perm.trace
|
||||
lib/lean/Std/Data/MLList/Basic.ilean
|
||||
lib/lean/Std/Data/MLList/Basic.ilean.hash
|
||||
lib/lean/Std/Data/MLList/Basic.olean
|
||||
lib/lean/Std/Data/MLList/Basic.olean.hash
|
||||
lib/lean/Std/Data/MLList/Basic.trace
|
||||
lib/lean/Std/Data/MLList/Heartbeats.ilean
|
||||
lib/lean/Std/Data/MLList/Heartbeats.ilean.hash
|
||||
lib/lean/Std/Data/MLList/Heartbeats.olean
|
||||
lib/lean/Std/Data/MLList/Heartbeats.olean.hash
|
||||
lib/lean/Std/Data/MLList/Heartbeats.trace
|
||||
lib/lean/Std/Data/MLList/IO.ilean
|
||||
lib/lean/Std/Data/MLList/IO.ilean.hash
|
||||
lib/lean/Std/Data/MLList/IO.olean
|
||||
lib/lean/Std/Data/MLList/IO.olean.hash
|
||||
lib/lean/Std/Data/MLList/IO.trace
|
||||
lib/lean/Std/Data/Nat/Basic.ilean
|
||||
lib/lean/Std/Data/Nat/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Nat/Basic.olean
|
||||
lib/lean/Std/Data/Nat/Basic.olean.hash
|
||||
lib/lean/Std/Data/Nat/Basic.trace
|
||||
lib/lean/Std/Data/Nat/Bitwise.ilean
|
||||
lib/lean/Std/Data/Nat/Bitwise.ilean.hash
|
||||
lib/lean/Std/Data/Nat/Bitwise.olean
|
||||
lib/lean/Std/Data/Nat/Bitwise.olean.hash
|
||||
lib/lean/Std/Data/Nat/Bitwise.trace
|
||||
lib/lean/Std/Data/Nat/Gcd.ilean
|
||||
lib/lean/Std/Data/Nat/Gcd.ilean.hash
|
||||
lib/lean/Std/Data/Nat/Gcd.olean
|
||||
lib/lean/Std/Data/Nat/Gcd.olean.hash
|
||||
lib/lean/Std/Data/Nat/Gcd.trace
|
||||
lib/lean/Std/Data/Nat/Init/Lemmas.ilean
|
||||
lib/lean/Std/Data/Nat/Init/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Nat/Init/Lemmas.olean
|
||||
lib/lean/Std/Data/Nat/Init/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Nat/Init/Lemmas.trace
|
||||
lib/lean/Std/Data/Nat/Lemmas.ilean
|
||||
lib/lean/Std/Data/Nat/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Nat/Lemmas.olean
|
||||
lib/lean/Std/Data/Nat/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Nat/Lemmas.trace
|
||||
lib/lean/Std/Data/Option/Basic.ilean
|
||||
lib/lean/Std/Data/Option/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Option/Basic.olean
|
||||
lib/lean/Std/Data/Option/Basic.olean.hash
|
||||
lib/lean/Std/Data/Option/Basic.trace
|
||||
lib/lean/Std/Data/Option/Init/Lemmas.ilean
|
||||
lib/lean/Std/Data/Option/Init/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Option/Init/Lemmas.olean
|
||||
lib/lean/Std/Data/Option/Init/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Option/Init/Lemmas.trace
|
||||
lib/lean/Std/Data/Option/Lemmas.ilean
|
||||
lib/lean/Std/Data/Option/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Option/Lemmas.olean
|
||||
lib/lean/Std/Data/Option/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Option/Lemmas.trace
|
||||
lib/lean/Std/Data/Ord.ilean
|
||||
lib/lean/Std/Data/Ord.ilean.hash
|
||||
lib/lean/Std/Data/Ord.olean
|
||||
lib/lean/Std/Data/Ord.olean.hash
|
||||
lib/lean/Std/Data/Ord.trace
|
||||
lib/lean/Std/Data/PairingHeap.ilean
|
||||
lib/lean/Std/Data/PairingHeap.ilean.hash
|
||||
lib/lean/Std/Data/PairingHeap.olean
|
||||
lib/lean/Std/Data/PairingHeap.olean.hash
|
||||
lib/lean/Std/Data/PairingHeap.trace
|
||||
lib/lean/Std/Data/Prod/Lex.ilean
|
||||
lib/lean/Std/Data/Prod/Lex.ilean.hash
|
||||
lib/lean/Std/Data/Prod/Lex.olean
|
||||
lib/lean/Std/Data/Prod/Lex.olean.hash
|
||||
lib/lean/Std/Data/Prod/Lex.trace
|
||||
lib/lean/Std/Data/RBMap.ilean
|
||||
lib/lean/Std/Data/RBMap.ilean.hash
|
||||
lib/lean/Std/Data/RBMap.olean
|
||||
lib/lean/Std/Data/RBMap.olean.hash
|
||||
lib/lean/Std/Data/RBMap.trace
|
||||
lib/lean/Std/Data/RBMap/Alter.ilean
|
||||
lib/lean/Std/Data/RBMap/Alter.ilean.hash
|
||||
lib/lean/Std/Data/RBMap/Alter.olean
|
||||
lib/lean/Std/Data/RBMap/Alter.olean.hash
|
||||
lib/lean/Std/Data/RBMap/Alter.trace
|
||||
lib/lean/Std/Data/RBMap/Basic.ilean
|
||||
lib/lean/Std/Data/RBMap/Basic.ilean.hash
|
||||
lib/lean/Std/Data/RBMap/Basic.olean
|
||||
lib/lean/Std/Data/RBMap/Basic.olean.hash
|
||||
lib/lean/Std/Data/RBMap/Basic.trace
|
||||
lib/lean/Std/Data/RBMap/Lemmas.ilean
|
||||
lib/lean/Std/Data/RBMap/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/RBMap/Lemmas.olean
|
||||
lib/lean/Std/Data/RBMap/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/RBMap/Lemmas.trace
|
||||
lib/lean/Std/Data/RBMap/WF.ilean
|
||||
lib/lean/Std/Data/RBMap/WF.ilean.hash
|
||||
lib/lean/Std/Data/RBMap/WF.olean
|
||||
lib/lean/Std/Data/RBMap/WF.olean.hash
|
||||
lib/lean/Std/Data/RBMap/WF.trace
|
||||
lib/lean/Std/Data/Range/Lemmas.ilean
|
||||
lib/lean/Std/Data/Range/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Range/Lemmas.olean
|
||||
lib/lean/Std/Data/Range/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Range/Lemmas.trace
|
||||
lib/lean/Std/Data/Rat.ilean
|
||||
lib/lean/Std/Data/Rat.ilean.hash
|
||||
lib/lean/Std/Data/Rat.olean
|
||||
lib/lean/Std/Data/Rat.olean.hash
|
||||
lib/lean/Std/Data/Rat.trace
|
||||
lib/lean/Std/Data/Rat/Basic.ilean
|
||||
lib/lean/Std/Data/Rat/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Rat/Basic.olean
|
||||
lib/lean/Std/Data/Rat/Basic.olean.hash
|
||||
lib/lean/Std/Data/Rat/Basic.trace
|
||||
lib/lean/Std/Data/Rat/Lemmas.ilean
|
||||
lib/lean/Std/Data/Rat/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Rat/Lemmas.olean
|
||||
lib/lean/Std/Data/Rat/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Rat/Lemmas.trace
|
||||
lib/lean/Std/Data/String.ilean
|
||||
lib/lean/Std/Data/String.ilean.hash
|
||||
lib/lean/Std/Data/String.olean
|
||||
lib/lean/Std/Data/String.olean.hash
|
||||
lib/lean/Std/Data/String.trace
|
||||
lib/lean/Std/Data/String/Basic.ilean
|
||||
lib/lean/Std/Data/String/Basic.ilean.hash
|
||||
lib/lean/Std/Data/String/Basic.olean
|
||||
lib/lean/Std/Data/String/Basic.olean.hash
|
||||
lib/lean/Std/Data/String/Basic.trace
|
||||
lib/lean/Std/Data/String/Lemmas.ilean
|
||||
lib/lean/Std/Data/String/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/String/Lemmas.olean
|
||||
lib/lean/Std/Data/String/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/String/Lemmas.trace
|
||||
lib/lean/Std/Data/Sum.ilean
|
||||
lib/lean/Std/Data/Sum.ilean.hash
|
||||
lib/lean/Std/Data/Sum.olean
|
||||
lib/lean/Std/Data/Sum.olean.hash
|
||||
lib/lean/Std/Data/Sum.trace
|
||||
lib/lean/Std/Data/Sum/Basic.ilean
|
||||
lib/lean/Std/Data/Sum/Basic.ilean.hash
|
||||
lib/lean/Std/Data/Sum/Basic.olean
|
||||
lib/lean/Std/Data/Sum/Basic.olean.hash
|
||||
lib/lean/Std/Data/Sum/Basic.trace
|
||||
lib/lean/Std/Data/Sum/Lemmas.ilean
|
||||
lib/lean/Std/Data/Sum/Lemmas.ilean.hash
|
||||
lib/lean/Std/Data/Sum/Lemmas.olean
|
||||
lib/lean/Std/Data/Sum/Lemmas.olean.hash
|
||||
lib/lean/Std/Data/Sum/Lemmas.trace
|
||||
lib/lean/Std/Lean/AttributeExtra.ilean
|
||||
lib/lean/Std/Lean/AttributeExtra.ilean.hash
|
||||
lib/lean/Std/Lean/AttributeExtra.olean
|
||||
lib/lean/Std/Lean/AttributeExtra.olean.hash
|
||||
lib/lean/Std/Lean/AttributeExtra.trace
|
||||
lib/lean/Std/Lean/Command.ilean
|
||||
lib/lean/Std/Lean/Command.ilean.hash
|
||||
lib/lean/Std/Lean/Command.olean
|
||||
lib/lean/Std/Lean/Command.olean.hash
|
||||
lib/lean/Std/Lean/Command.trace
|
||||
lib/lean/Std/Lean/CoreM.ilean
|
||||
lib/lean/Std/Lean/CoreM.ilean.hash
|
||||
lib/lean/Std/Lean/CoreM.olean
|
||||
lib/lean/Std/Lean/CoreM.olean.hash
|
||||
lib/lean/Std/Lean/CoreM.trace
|
||||
lib/lean/Std/Lean/Delaborator.ilean
|
||||
lib/lean/Std/Lean/Delaborator.ilean.hash
|
||||
lib/lean/Std/Lean/Delaborator.olean
|
||||
lib/lean/Std/Lean/Delaborator.olean.hash
|
||||
lib/lean/Std/Lean/Delaborator.trace
|
||||
lib/lean/Std/Lean/Elab/Tactic.ilean
|
||||
lib/lean/Std/Lean/Elab/Tactic.ilean.hash
|
||||
lib/lean/Std/Lean/Elab/Tactic.olean
|
||||
lib/lean/Std/Lean/Elab/Tactic.olean.hash
|
||||
lib/lean/Std/Lean/Elab/Tactic.trace
|
||||
lib/lean/Std/Lean/Expr.ilean
|
||||
lib/lean/Std/Lean/Expr.ilean.hash
|
||||
lib/lean/Std/Lean/Expr.olean
|
||||
lib/lean/Std/Lean/Expr.olean.hash
|
||||
lib/lean/Std/Lean/Expr.trace
|
||||
lib/lean/Std/Lean/Float.ilean
|
||||
lib/lean/Std/Lean/Float.ilean.hash
|
||||
lib/lean/Std/Lean/Float.olean
|
||||
lib/lean/Std/Lean/Float.olean.hash
|
||||
lib/lean/Std/Lean/Float.trace
|
||||
lib/lean/Std/Lean/Format.ilean
|
||||
lib/lean/Std/Lean/Format.ilean.hash
|
||||
lib/lean/Std/Lean/Format.olean
|
||||
lib/lean/Std/Lean/Format.olean.hash
|
||||
lib/lean/Std/Lean/Format.trace
|
||||
lib/lean/Std/Lean/HashMap.ilean
|
||||
lib/lean/Std/Lean/HashMap.ilean.hash
|
||||
lib/lean/Std/Lean/HashMap.olean
|
||||
lib/lean/Std/Lean/HashMap.olean.hash
|
||||
lib/lean/Std/Lean/HashMap.trace
|
||||
lib/lean/Std/Lean/HashSet.ilean
|
||||
lib/lean/Std/Lean/HashSet.ilean.hash
|
||||
lib/lean/Std/Lean/HashSet.olean
|
||||
lib/lean/Std/Lean/HashSet.olean.hash
|
||||
lib/lean/Std/Lean/HashSet.trace
|
||||
lib/lean/Std/Lean/InfoTree.ilean
|
||||
lib/lean/Std/Lean/InfoTree.ilean.hash
|
||||
lib/lean/Std/Lean/InfoTree.olean
|
||||
lib/lean/Std/Lean/InfoTree.olean.hash
|
||||
lib/lean/Std/Lean/InfoTree.trace
|
||||
lib/lean/Std/Lean/Json.ilean
|
||||
lib/lean/Std/Lean/Json.ilean.hash
|
||||
lib/lean/Std/Lean/Json.olean
|
||||
lib/lean/Std/Lean/Json.olean.hash
|
||||
lib/lean/Std/Lean/Json.trace
|
||||
lib/lean/Std/Lean/LocalContext.ilean
|
||||
lib/lean/Std/Lean/LocalContext.ilean.hash
|
||||
lib/lean/Std/Lean/LocalContext.olean
|
||||
lib/lean/Std/Lean/LocalContext.olean.hash
|
||||
lib/lean/Std/Lean/LocalContext.trace
|
||||
lib/lean/Std/Lean/Meta/AssertHypotheses.ilean
|
||||
lib/lean/Std/Lean/Meta/AssertHypotheses.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/AssertHypotheses.olean
|
||||
lib/lean/Std/Lean/Meta/AssertHypotheses.olean.hash
|
||||
lib/lean/Std/Lean/Meta/AssertHypotheses.trace
|
||||
lib/lean/Std/Lean/Meta/Basic.ilean
|
||||
lib/lean/Std/Lean/Meta/Basic.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/Basic.olean
|
||||
lib/lean/Std/Lean/Meta/Basic.olean.hash
|
||||
lib/lean/Std/Lean/Meta/Basic.trace
|
||||
lib/lean/Std/Lean/Meta/Clear.ilean
|
||||
lib/lean/Std/Lean/Meta/Clear.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/Clear.olean
|
||||
lib/lean/Std/Lean/Meta/Clear.olean.hash
|
||||
lib/lean/Std/Lean/Meta/Clear.trace
|
||||
lib/lean/Std/Lean/Meta/DiscrTree.ilean
|
||||
lib/lean/Std/Lean/Meta/DiscrTree.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/DiscrTree.olean
|
||||
lib/lean/Std/Lean/Meta/DiscrTree.olean.hash
|
||||
lib/lean/Std/Lean/Meta/DiscrTree.trace
|
||||
lib/lean/Std/Lean/Meta/Expr.ilean
|
||||
lib/lean/Std/Lean/Meta/Expr.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/Expr.olean
|
||||
lib/lean/Std/Lean/Meta/Expr.olean.hash
|
||||
lib/lean/Std/Lean/Meta/Expr.trace
|
||||
lib/lean/Std/Lean/Meta/Inaccessible.ilean
|
||||
lib/lean/Std/Lean/Meta/Inaccessible.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/Inaccessible.olean
|
||||
lib/lean/Std/Lean/Meta/Inaccessible.olean.hash
|
||||
lib/lean/Std/Lean/Meta/Inaccessible.trace
|
||||
lib/lean/Std/Lean/Meta/InstantiateMVars.ilean
|
||||
lib/lean/Std/Lean/Meta/InstantiateMVars.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/InstantiateMVars.olean
|
||||
lib/lean/Std/Lean/Meta/InstantiateMVars.olean.hash
|
||||
lib/lean/Std/Lean/Meta/InstantiateMVars.trace
|
||||
lib/lean/Std/Lean/Meta/SavedState.ilean
|
||||
lib/lean/Std/Lean/Meta/SavedState.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/SavedState.olean
|
||||
lib/lean/Std/Lean/Meta/SavedState.olean.hash
|
||||
lib/lean/Std/Lean/Meta/SavedState.trace
|
||||
lib/lean/Std/Lean/Meta/Simp.ilean
|
||||
lib/lean/Std/Lean/Meta/Simp.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/Simp.olean
|
||||
lib/lean/Std/Lean/Meta/Simp.olean.hash
|
||||
lib/lean/Std/Lean/Meta/Simp.trace
|
||||
lib/lean/Std/Lean/Meta/UnusedNames.ilean
|
||||
lib/lean/Std/Lean/Meta/UnusedNames.ilean.hash
|
||||
lib/lean/Std/Lean/Meta/UnusedNames.olean
|
||||
lib/lean/Std/Lean/Meta/UnusedNames.olean.hash
|
||||
lib/lean/Std/Lean/Meta/UnusedNames.trace
|
||||
lib/lean/Std/Lean/MonadBacktrack.ilean
|
||||
lib/lean/Std/Lean/MonadBacktrack.ilean.hash
|
||||
lib/lean/Std/Lean/MonadBacktrack.olean
|
||||
lib/lean/Std/Lean/MonadBacktrack.olean.hash
|
||||
lib/lean/Std/Lean/MonadBacktrack.trace
|
||||
lib/lean/Std/Lean/Name.ilean
|
||||
lib/lean/Std/Lean/Name.ilean.hash
|
||||
lib/lean/Std/Lean/Name.olean
|
||||
lib/lean/Std/Lean/Name.olean.hash
|
||||
lib/lean/Std/Lean/Name.trace
|
||||
lib/lean/Std/Lean/NameMapAttribute.ilean
|
||||
lib/lean/Std/Lean/NameMapAttribute.ilean.hash
|
||||
lib/lean/Std/Lean/NameMapAttribute.olean
|
||||
lib/lean/Std/Lean/NameMapAttribute.olean.hash
|
||||
lib/lean/Std/Lean/NameMapAttribute.trace
|
||||
lib/lean/Std/Lean/Parser.ilean
|
||||
lib/lean/Std/Lean/Parser.ilean.hash
|
||||
lib/lean/Std/Lean/Parser.olean
|
||||
lib/lean/Std/Lean/Parser.olean.hash
|
||||
lib/lean/Std/Lean/Parser.trace
|
||||
lib/lean/Std/Lean/PersistentHashMap.ilean
|
||||
lib/lean/Std/Lean/PersistentHashMap.ilean.hash
|
||||
lib/lean/Std/Lean/PersistentHashMap.olean
|
||||
lib/lean/Std/Lean/PersistentHashMap.olean.hash
|
||||
lib/lean/Std/Lean/PersistentHashMap.trace
|
||||
lib/lean/Std/Lean/PersistentHashSet.ilean
|
||||
lib/lean/Std/Lean/PersistentHashSet.ilean.hash
|
||||
lib/lean/Std/Lean/PersistentHashSet.olean
|
||||
lib/lean/Std/Lean/PersistentHashSet.olean.hash
|
||||
lib/lean/Std/Lean/PersistentHashSet.trace
|
||||
lib/lean/Std/Lean/Position.ilean
|
||||
lib/lean/Std/Lean/Position.ilean.hash
|
||||
lib/lean/Std/Lean/Position.olean
|
||||
lib/lean/Std/Lean/Position.olean.hash
|
||||
lib/lean/Std/Lean/Position.trace
|
||||
lib/lean/Std/Lean/System/IO.ilean
|
||||
lib/lean/Std/Lean/System/IO.ilean.hash
|
||||
lib/lean/Std/Lean/System/IO.olean
|
||||
lib/lean/Std/Lean/System/IO.olean.hash
|
||||
lib/lean/Std/Lean/System/IO.trace
|
||||
lib/lean/Std/Lean/Tactic.ilean
|
||||
lib/lean/Std/Lean/Tactic.ilean.hash
|
||||
lib/lean/Std/Lean/Tactic.olean
|
||||
lib/lean/Std/Lean/Tactic.olean.hash
|
||||
lib/lean/Std/Lean/Tactic.trace
|
||||
lib/lean/Std/Lean/TagAttribute.ilean
|
||||
lib/lean/Std/Lean/TagAttribute.ilean.hash
|
||||
lib/lean/Std/Lean/TagAttribute.olean
|
||||
lib/lean/Std/Lean/TagAttribute.olean.hash
|
||||
lib/lean/Std/Lean/TagAttribute.trace
|
||||
lib/lean/Std/Lean/Util/EnvSearch.ilean
|
||||
lib/lean/Std/Lean/Util/EnvSearch.ilean.hash
|
||||
lib/lean/Std/Lean/Util/EnvSearch.olean
|
||||
lib/lean/Std/Lean/Util/EnvSearch.olean.hash
|
||||
lib/lean/Std/Lean/Util/EnvSearch.trace
|
||||
lib/lean/Std/Lean/Util/Path.ilean
|
||||
lib/lean/Std/Lean/Util/Path.ilean.hash
|
||||
lib/lean/Std/Lean/Util/Path.olean
|
||||
lib/lean/Std/Lean/Util/Path.olean.hash
|
||||
lib/lean/Std/Lean/Util/Path.trace
|
||||
lib/lean/Std/Linter.ilean
|
||||
lib/lean/Std/Linter.ilean.hash
|
||||
lib/lean/Std/Linter.olean
|
||||
lib/lean/Std/Linter.olean.hash
|
||||
lib/lean/Std/Linter.trace
|
||||
lib/lean/Std/Linter/UnnecessarySeqFocus.ilean
|
||||
lib/lean/Std/Linter/UnnecessarySeqFocus.ilean.hash
|
||||
lib/lean/Std/Linter/UnnecessarySeqFocus.olean
|
||||
lib/lean/Std/Linter/UnnecessarySeqFocus.olean.hash
|
||||
lib/lean/Std/Linter/UnnecessarySeqFocus.trace
|
||||
lib/lean/Std/Linter/UnreachableTactic.ilean
|
||||
lib/lean/Std/Linter/UnreachableTactic.ilean.hash
|
||||
lib/lean/Std/Linter/UnreachableTactic.olean
|
||||
lib/lean/Std/Linter/UnreachableTactic.olean.hash
|
||||
lib/lean/Std/Linter/UnreachableTactic.trace
|
||||
lib/lean/Std/Logic.ilean
|
||||
lib/lean/Std/Logic.ilean.hash
|
||||
lib/lean/Std/Logic.olean
|
||||
lib/lean/Std/Logic.olean.hash
|
||||
lib/lean/Std/Logic.trace
|
||||
lib/lean/Std/Tactic/Alias.ilean
|
||||
lib/lean/Std/Tactic/Alias.ilean.hash
|
||||
lib/lean/Std/Tactic/Alias.olean
|
||||
lib/lean/Std/Tactic/Alias.olean.hash
|
||||
lib/lean/Std/Tactic/Alias.trace
|
||||
lib/lean/Std/Tactic/Basic.ilean
|
||||
lib/lean/Std/Tactic/Basic.ilean.hash
|
||||
lib/lean/Std/Tactic/Basic.olean
|
||||
lib/lean/Std/Tactic/Basic.olean.hash
|
||||
lib/lean/Std/Tactic/Basic.trace
|
||||
lib/lean/Std/Tactic/ByCases.ilean
|
||||
lib/lean/Std/Tactic/ByCases.ilean.hash
|
||||
lib/lean/Std/Tactic/ByCases.olean
|
||||
lib/lean/Std/Tactic/ByCases.olean.hash
|
||||
lib/lean/Std/Tactic/ByCases.trace
|
||||
lib/lean/Std/Tactic/Case.ilean
|
||||
lib/lean/Std/Tactic/Case.ilean.hash
|
||||
lib/lean/Std/Tactic/Case.olean
|
||||
lib/lean/Std/Tactic/Case.olean.hash
|
||||
lib/lean/Std/Tactic/Case.trace
|
||||
lib/lean/Std/Tactic/Change.ilean
|
||||
lib/lean/Std/Tactic/Change.ilean.hash
|
||||
lib/lean/Std/Tactic/Change.olean
|
||||
lib/lean/Std/Tactic/Change.olean.hash
|
||||
lib/lean/Std/Tactic/Change.trace
|
||||
lib/lean/Std/Tactic/CoeExt.ilean
|
||||
lib/lean/Std/Tactic/CoeExt.ilean.hash
|
||||
lib/lean/Std/Tactic/CoeExt.olean
|
||||
lib/lean/Std/Tactic/CoeExt.olean.hash
|
||||
lib/lean/Std/Tactic/CoeExt.trace
|
||||
lib/lean/Std/Tactic/Congr.ilean
|
||||
lib/lean/Std/Tactic/Congr.ilean.hash
|
||||
lib/lean/Std/Tactic/Congr.olean
|
||||
lib/lean/Std/Tactic/Congr.olean.hash
|
||||
lib/lean/Std/Tactic/Congr.trace
|
||||
lib/lean/Std/Tactic/Exact.ilean
|
||||
lib/lean/Std/Tactic/Exact.ilean.hash
|
||||
lib/lean/Std/Tactic/Exact.olean
|
||||
lib/lean/Std/Tactic/Exact.olean.hash
|
||||
lib/lean/Std/Tactic/Exact.trace
|
||||
lib/lean/Std/Tactic/Ext.ilean
|
||||
lib/lean/Std/Tactic/Ext.ilean.hash
|
||||
lib/lean/Std/Tactic/Ext.olean
|
||||
lib/lean/Std/Tactic/Ext.olean.hash
|
||||
lib/lean/Std/Tactic/Ext.trace
|
||||
lib/lean/Std/Tactic/Ext/Attr.ilean
|
||||
lib/lean/Std/Tactic/Ext/Attr.ilean.hash
|
||||
lib/lean/Std/Tactic/Ext/Attr.olean
|
||||
lib/lean/Std/Tactic/Ext/Attr.olean.hash
|
||||
lib/lean/Std/Tactic/Ext/Attr.trace
|
||||
lib/lean/Std/Tactic/FalseOrByContra.ilean
|
||||
lib/lean/Std/Tactic/FalseOrByContra.ilean.hash
|
||||
lib/lean/Std/Tactic/FalseOrByContra.olean
|
||||
lib/lean/Std/Tactic/FalseOrByContra.olean.hash
|
||||
lib/lean/Std/Tactic/FalseOrByContra.trace
|
||||
lib/lean/Std/Tactic/GuardExpr.ilean
|
||||
lib/lean/Std/Tactic/GuardExpr.ilean.hash
|
||||
lib/lean/Std/Tactic/GuardExpr.olean
|
||||
lib/lean/Std/Tactic/GuardExpr.olean.hash
|
||||
lib/lean/Std/Tactic/GuardExpr.trace
|
||||
lib/lean/Std/Tactic/GuardMsgs.ilean
|
||||
lib/lean/Std/Tactic/GuardMsgs.ilean.hash
|
||||
lib/lean/Std/Tactic/GuardMsgs.olean
|
||||
lib/lean/Std/Tactic/GuardMsgs.olean.hash
|
||||
lib/lean/Std/Tactic/GuardMsgs.trace
|
||||
lib/lean/Std/Tactic/HaveI.ilean
|
||||
lib/lean/Std/Tactic/HaveI.ilean.hash
|
||||
lib/lean/Std/Tactic/HaveI.olean
|
||||
lib/lean/Std/Tactic/HaveI.olean.hash
|
||||
lib/lean/Std/Tactic/HaveI.trace
|
||||
lib/lean/Std/Tactic/Instances.ilean
|
||||
lib/lean/Std/Tactic/Instances.ilean.hash
|
||||
lib/lean/Std/Tactic/Instances.olean
|
||||
lib/lean/Std/Tactic/Instances.olean.hash
|
||||
lib/lean/Std/Tactic/Instances.trace
|
||||
lib/lean/Std/Tactic/LabelAttr.ilean
|
||||
lib/lean/Std/Tactic/LabelAttr.ilean.hash
|
||||
lib/lean/Std/Tactic/LabelAttr.olean
|
||||
lib/lean/Std/Tactic/LabelAttr.olean.hash
|
||||
lib/lean/Std/Tactic/LabelAttr.trace
|
||||
lib/lean/Std/Tactic/LeftRight.ilean
|
||||
lib/lean/Std/Tactic/LeftRight.ilean.hash
|
||||
lib/lean/Std/Tactic/LeftRight.olean
|
||||
lib/lean/Std/Tactic/LeftRight.olean.hash
|
||||
lib/lean/Std/Tactic/LeftRight.trace
|
||||
lib/lean/Std/Tactic/Lint.ilean
|
||||
lib/lean/Std/Tactic/Lint.ilean.hash
|
||||
lib/lean/Std/Tactic/Lint.olean
|
||||
lib/lean/Std/Tactic/Lint.olean.hash
|
||||
lib/lean/Std/Tactic/Lint.trace
|
||||
lib/lean/Std/Tactic/Lint/Basic.ilean
|
||||
lib/lean/Std/Tactic/Lint/Basic.ilean.hash
|
||||
lib/lean/Std/Tactic/Lint/Basic.olean
|
||||
lib/lean/Std/Tactic/Lint/Basic.olean.hash
|
||||
lib/lean/Std/Tactic/Lint/Basic.trace
|
||||
lib/lean/Std/Tactic/Lint/Frontend.ilean
|
||||
lib/lean/Std/Tactic/Lint/Frontend.ilean.hash
|
||||
lib/lean/Std/Tactic/Lint/Frontend.olean
|
||||
lib/lean/Std/Tactic/Lint/Frontend.olean.hash
|
||||
lib/lean/Std/Tactic/Lint/Frontend.trace
|
||||
lib/lean/Std/Tactic/Lint/Misc.ilean
|
||||
lib/lean/Std/Tactic/Lint/Misc.ilean.hash
|
||||
lib/lean/Std/Tactic/Lint/Misc.olean
|
||||
lib/lean/Std/Tactic/Lint/Misc.olean.hash
|
||||
lib/lean/Std/Tactic/Lint/Misc.trace
|
||||
lib/lean/Std/Tactic/Lint/Simp.ilean
|
||||
lib/lean/Std/Tactic/Lint/Simp.ilean.hash
|
||||
lib/lean/Std/Tactic/Lint/Simp.olean
|
||||
lib/lean/Std/Tactic/Lint/Simp.olean.hash
|
||||
lib/lean/Std/Tactic/Lint/Simp.trace
|
||||
lib/lean/Std/Tactic/Lint/TypeClass.ilean
|
||||
lib/lean/Std/Tactic/Lint/TypeClass.ilean.hash
|
||||
lib/lean/Std/Tactic/Lint/TypeClass.olean
|
||||
lib/lean/Std/Tactic/Lint/TypeClass.olean.hash
|
||||
lib/lean/Std/Tactic/Lint/TypeClass.trace
|
||||
lib/lean/Std/Tactic/NoMatch.ilean
|
||||
lib/lean/Std/Tactic/NoMatch.ilean.hash
|
||||
lib/lean/Std/Tactic/NoMatch.olean
|
||||
lib/lean/Std/Tactic/NoMatch.olean.hash
|
||||
lib/lean/Std/Tactic/NoMatch.trace
|
||||
lib/lean/Std/Tactic/NormCast.ilean
|
||||
lib/lean/Std/Tactic/NormCast.ilean.hash
|
||||
lib/lean/Std/Tactic/NormCast.olean
|
||||
lib/lean/Std/Tactic/NormCast.olean.hash
|
||||
lib/lean/Std/Tactic/NormCast.trace
|
||||
lib/lean/Std/Tactic/NormCast/Ext.ilean
|
||||
lib/lean/Std/Tactic/NormCast/Ext.ilean.hash
|
||||
lib/lean/Std/Tactic/NormCast/Ext.olean
|
||||
lib/lean/Std/Tactic/NormCast/Ext.olean.hash
|
||||
lib/lean/Std/Tactic/NormCast/Ext.trace
|
||||
lib/lean/Std/Tactic/NormCast/Lemmas.ilean
|
||||
lib/lean/Std/Tactic/NormCast/Lemmas.ilean.hash
|
||||
lib/lean/Std/Tactic/NormCast/Lemmas.olean
|
||||
lib/lean/Std/Tactic/NormCast/Lemmas.olean.hash
|
||||
lib/lean/Std/Tactic/NormCast/Lemmas.trace
|
||||
lib/lean/Std/Tactic/Omega.ilean
|
||||
lib/lean/Std/Tactic/Omega.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega.olean
|
||||
lib/lean/Std/Tactic/Omega.olean.hash
|
||||
lib/lean/Std/Tactic/Omega.trace
|
||||
lib/lean/Std/Tactic/Omega/Coeffs/IntList.ilean
|
||||
lib/lean/Std/Tactic/Omega/Coeffs/IntList.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Coeffs/IntList.olean
|
||||
lib/lean/Std/Tactic/Omega/Coeffs/IntList.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Coeffs/IntList.trace
|
||||
lib/lean/Std/Tactic/Omega/Config.ilean
|
||||
lib/lean/Std/Tactic/Omega/Config.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Config.olean
|
||||
lib/lean/Std/Tactic/Omega/Config.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Config.trace
|
||||
lib/lean/Std/Tactic/Omega/Constraint.ilean
|
||||
lib/lean/Std/Tactic/Omega/Constraint.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Constraint.olean
|
||||
lib/lean/Std/Tactic/Omega/Constraint.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Constraint.trace
|
||||
lib/lean/Std/Tactic/Omega/Core.ilean
|
||||
lib/lean/Std/Tactic/Omega/Core.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Core.olean
|
||||
lib/lean/Std/Tactic/Omega/Core.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Core.trace
|
||||
lib/lean/Std/Tactic/Omega/Frontend.ilean
|
||||
lib/lean/Std/Tactic/Omega/Frontend.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Frontend.olean
|
||||
lib/lean/Std/Tactic/Omega/Frontend.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Frontend.trace
|
||||
lib/lean/Std/Tactic/Omega/Int.ilean
|
||||
lib/lean/Std/Tactic/Omega/Int.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Int.olean
|
||||
lib/lean/Std/Tactic/Omega/Int.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Int.trace
|
||||
lib/lean/Std/Tactic/Omega/IntList.ilean
|
||||
lib/lean/Std/Tactic/Omega/IntList.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/IntList.olean
|
||||
lib/lean/Std/Tactic/Omega/IntList.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/IntList.trace
|
||||
lib/lean/Std/Tactic/Omega/LinearCombo.ilean
|
||||
lib/lean/Std/Tactic/Omega/LinearCombo.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/LinearCombo.olean
|
||||
lib/lean/Std/Tactic/Omega/LinearCombo.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/LinearCombo.trace
|
||||
lib/lean/Std/Tactic/Omega/Logic.ilean
|
||||
lib/lean/Std/Tactic/Omega/Logic.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/Logic.olean
|
||||
lib/lean/Std/Tactic/Omega/Logic.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/Logic.trace
|
||||
lib/lean/Std/Tactic/Omega/MinNatAbs.ilean
|
||||
lib/lean/Std/Tactic/Omega/MinNatAbs.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/MinNatAbs.olean
|
||||
lib/lean/Std/Tactic/Omega/MinNatAbs.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/MinNatAbs.trace
|
||||
lib/lean/Std/Tactic/Omega/OmegaM.ilean
|
||||
lib/lean/Std/Tactic/Omega/OmegaM.ilean.hash
|
||||
lib/lean/Std/Tactic/Omega/OmegaM.olean
|
||||
lib/lean/Std/Tactic/Omega/OmegaM.olean.hash
|
||||
lib/lean/Std/Tactic/Omega/OmegaM.trace
|
||||
lib/lean/Std/Tactic/OpenPrivate.ilean
|
||||
lib/lean/Std/Tactic/OpenPrivate.ilean.hash
|
||||
lib/lean/Std/Tactic/OpenPrivate.olean
|
||||
lib/lean/Std/Tactic/OpenPrivate.olean.hash
|
||||
lib/lean/Std/Tactic/OpenPrivate.trace
|
||||
lib/lean/Std/Tactic/PermuteGoals.ilean
|
||||
lib/lean/Std/Tactic/PermuteGoals.ilean.hash
|
||||
lib/lean/Std/Tactic/PermuteGoals.olean
|
||||
lib/lean/Std/Tactic/PermuteGoals.olean.hash
|
||||
lib/lean/Std/Tactic/PermuteGoals.trace
|
||||
lib/lean/Std/Tactic/PrintDependents.ilean
|
||||
lib/lean/Std/Tactic/PrintDependents.ilean.hash
|
||||
lib/lean/Std/Tactic/PrintDependents.olean
|
||||
lib/lean/Std/Tactic/PrintDependents.olean.hash
|
||||
lib/lean/Std/Tactic/PrintDependents.trace
|
||||
lib/lean/Std/Tactic/PrintPrefix.ilean
|
||||
lib/lean/Std/Tactic/PrintPrefix.ilean.hash
|
||||
lib/lean/Std/Tactic/PrintPrefix.olean
|
||||
lib/lean/Std/Tactic/PrintPrefix.olean.hash
|
||||
lib/lean/Std/Tactic/PrintPrefix.trace
|
||||
lib/lean/Std/Tactic/RCases.ilean
|
||||
lib/lean/Std/Tactic/RCases.ilean.hash
|
||||
lib/lean/Std/Tactic/RCases.olean
|
||||
lib/lean/Std/Tactic/RCases.olean.hash
|
||||
lib/lean/Std/Tactic/RCases.trace
|
||||
lib/lean/Std/Tactic/Relation/Rfl.ilean
|
||||
lib/lean/Std/Tactic/Relation/Rfl.ilean.hash
|
||||
lib/lean/Std/Tactic/Relation/Rfl.olean
|
||||
lib/lean/Std/Tactic/Relation/Rfl.olean.hash
|
||||
lib/lean/Std/Tactic/Relation/Rfl.trace
|
||||
lib/lean/Std/Tactic/Relation/Symm.ilean
|
||||
lib/lean/Std/Tactic/Relation/Symm.ilean.hash
|
||||
lib/lean/Std/Tactic/Relation/Symm.olean
|
||||
lib/lean/Std/Tactic/Relation/Symm.olean.hash
|
||||
lib/lean/Std/Tactic/Relation/Symm.trace
|
||||
lib/lean/Std/Tactic/Replace.ilean
|
||||
lib/lean/Std/Tactic/Replace.ilean.hash
|
||||
lib/lean/Std/Tactic/Replace.olean
|
||||
lib/lean/Std/Tactic/Replace.olean.hash
|
||||
lib/lean/Std/Tactic/Replace.trace
|
||||
lib/lean/Std/Tactic/RunCmd.ilean
|
||||
lib/lean/Std/Tactic/RunCmd.ilean.hash
|
||||
lib/lean/Std/Tactic/RunCmd.olean
|
||||
lib/lean/Std/Tactic/RunCmd.olean.hash
|
||||
lib/lean/Std/Tactic/RunCmd.trace
|
||||
lib/lean/Std/Tactic/SeqFocus.ilean
|
||||
lib/lean/Std/Tactic/SeqFocus.ilean.hash
|
||||
lib/lean/Std/Tactic/SeqFocus.olean
|
||||
lib/lean/Std/Tactic/SeqFocus.olean.hash
|
||||
lib/lean/Std/Tactic/SeqFocus.trace
|
||||
lib/lean/Std/Tactic/ShowTerm.ilean
|
||||
lib/lean/Std/Tactic/ShowTerm.ilean.hash
|
||||
lib/lean/Std/Tactic/ShowTerm.olean
|
||||
lib/lean/Std/Tactic/ShowTerm.olean.hash
|
||||
lib/lean/Std/Tactic/ShowTerm.trace
|
||||
lib/lean/Std/Tactic/SimpTrace.ilean
|
||||
lib/lean/Std/Tactic/SimpTrace.ilean.hash
|
||||
lib/lean/Std/Tactic/SimpTrace.olean
|
||||
lib/lean/Std/Tactic/SimpTrace.olean.hash
|
||||
lib/lean/Std/Tactic/SimpTrace.trace
|
||||
lib/lean/Std/Tactic/Simpa.ilean
|
||||
lib/lean/Std/Tactic/Simpa.ilean.hash
|
||||
lib/lean/Std/Tactic/Simpa.olean
|
||||
lib/lean/Std/Tactic/Simpa.olean.hash
|
||||
lib/lean/Std/Tactic/Simpa.trace
|
||||
lib/lean/Std/Tactic/SqueezeScope.ilean
|
||||
lib/lean/Std/Tactic/SqueezeScope.ilean.hash
|
||||
lib/lean/Std/Tactic/SqueezeScope.olean
|
||||
lib/lean/Std/Tactic/SqueezeScope.olean.hash
|
||||
lib/lean/Std/Tactic/SqueezeScope.trace
|
||||
lib/lean/Std/Tactic/TryThis.ilean
|
||||
lib/lean/Std/Tactic/TryThis.ilean.hash
|
||||
lib/lean/Std/Tactic/TryThis.olean
|
||||
lib/lean/Std/Tactic/TryThis.olean.hash
|
||||
lib/lean/Std/Tactic/TryThis.trace
|
||||
lib/lean/Std/Tactic/Unreachable.ilean
|
||||
lib/lean/Std/Tactic/Unreachable.ilean.hash
|
||||
lib/lean/Std/Tactic/Unreachable.olean
|
||||
lib/lean/Std/Tactic/Unreachable.olean.hash
|
||||
lib/lean/Std/Tactic/Unreachable.trace
|
||||
lib/lean/Std/Tactic/Where.ilean
|
||||
lib/lean/Std/Tactic/Where.ilean.hash
|
||||
lib/lean/Std/Tactic/Where.olean
|
||||
lib/lean/Std/Tactic/Where.olean.hash
|
||||
lib/lean/Std/Tactic/Where.trace
|
||||
lib/lean/Std/Test/Internal/DummyLabelAttr.ilean
|
||||
lib/lean/Std/Test/Internal/DummyLabelAttr.ilean.hash
|
||||
lib/lean/Std/Test/Internal/DummyLabelAttr.olean
|
||||
lib/lean/Std/Test/Internal/DummyLabelAttr.olean.hash
|
||||
lib/lean/Std/Test/Internal/DummyLabelAttr.trace
|
||||
lib/lean/Std/Util/Cache.ilean
|
||||
lib/lean/Std/Util/Cache.ilean.hash
|
||||
lib/lean/Std/Util/Cache.olean
|
||||
lib/lean/Std/Util/Cache.olean.hash
|
||||
lib/lean/Std/Util/Cache.trace
|
||||
lib/lean/Std/Util/ExtendedBinder.ilean
|
||||
lib/lean/Std/Util/ExtendedBinder.ilean.hash
|
||||
lib/lean/Std/Util/ExtendedBinder.olean
|
||||
lib/lean/Std/Util/ExtendedBinder.olean.hash
|
||||
lib/lean/Std/Util/ExtendedBinder.trace
|
||||
lib/lean/Std/Util/LibraryNote.ilean
|
||||
lib/lean/Std/Util/LibraryNote.ilean.hash
|
||||
lib/lean/Std/Util/LibraryNote.olean
|
||||
lib/lean/Std/Util/LibraryNote.olean.hash
|
||||
lib/lean/Std/Util/LibraryNote.trace
|
||||
lib/lean/Std/Util/Pickle.ilean
|
||||
lib/lean/Std/Util/Pickle.ilean.hash
|
||||
lib/lean/Std/Util/Pickle.olean
|
||||
lib/lean/Std/Util/Pickle.olean.hash
|
||||
lib/lean/Std/Util/Pickle.trace
|
||||
lib/lean/Std/Util/ProofWanted.ilean
|
||||
lib/lean/Std/Util/ProofWanted.ilean.hash
|
||||
lib/lean/Std/Util/ProofWanted.olean
|
||||
lib/lean/Std/Util/ProofWanted.olean.hash
|
||||
lib/lean/Std/Util/ProofWanted.trace
|
||||
lib/lean/Std/Util/TermUnsafe.ilean
|
||||
lib/lean/Std/Util/TermUnsafe.ilean.hash
|
||||
lib/lean/Std/Util/TermUnsafe.olean
|
||||
lib/lean/Std/Util/TermUnsafe.olean.hash
|
||||
lib/lean/Std/Util/TermUnsafe.trace
|
||||
lib/lean/Std/WF.ilean
|
||||
lib/lean/Std/WF.ilean.hash
|
||||
lib/lean/Std/WF.olean
|
||||
lib/lean/Std/WF.olean.hash
|
||||
lib/lean/Std/WF.trace
|
||||
Loading…
Reference in New Issue