lean-auto
Experiments on automation for Lean
파일 탐색기
최종 버전 다운로드 (.zip)- build.yml
- Interactive.lean
- RTrace.lean
- CoCBase.lean
- LamBase.lean
- LamBitVec.lean
- LamBVarOp.lean
- LamChecker.lean
- LamConstMacro.lean
- LamConv.lean
- LamInductive.lean
- LamInference.lean
- LamInhReasoning.lean
- LamLCtx.lean
- LamPrep.lean
- LamSystem.lean
- LamTermInterp.lean
- LCtx.lean
- Lift.lean
- AutoConfig.lean
- CommandAnalysis.lean
- ConstAnalysis.lean
- EnvAnalysis.lean
- NameArr.lean
- OS.lean
- Result.lean
- TestAuto.lean
- TestTactics.lean
- TestTranslation.lean
- SMT.lean
- TPTP_TH0.lean
- AbstractMVars.lean
- AuthRepr.lean
- Bin.lean
- BinTree.lean
- BoolExtra.lean
- Containers.lean
- DeCompile.lean
- ExprExtra.lean
- HEqExtra.lean
- HList.lean
- IntExtra.lean
- IsomType.lean
- LevelExtra.lean
- ListExtra.lean
- MessageData.lean
- MetaExtra.lean
- MetaState.lean
- MonadUtils.lean
- NatExtra.lean
- OptionExtra.lean
- PathDecl.lean
- PathHook.lean
- Pos.lean
- Rebind.lean
- StringExtra.lean
- ToExprExtra.lean
- TreeList.lean
- DeriveToExpr.lean
- ToExpr.lean
- ToLevel.lean
- LeanLex.lean
- LexInit.lean
- NDFA.lean
- SMTParser.lean
- SMTSexp.lean
- TPTP.lean
- Native.lean
- SMT.lean
- TPTP.lean
- Assumptions.lean
- Inductive.lean
- Inhabitation.lean
- Lam2DAtomAsFVar.lean
- Lam2TH0.lean
- LamFOL2SMT.lean
- LamReif.lean
- LamUtils.lean
- Monomorphization.lean
- Preprocessing.lean
- Reduction.lean
- ReifM.lean
- SMTAttributes.lean
- LemDB.lean
- Lib.lean
- MathlibEmulator.lean
- Tactic.lean
- Translation.lean
- Logo.bmp
- shortfive.png
- LamPULift.lean
- Matcher_Order.lean
- MatcherIssues_Lean_Auto.lean
- OSIssues.lean
- Arith_Quant_Z3.smt
- Basic_Quant_Z3.smt
- Chebyshev_Complex.smt
- Chebyshev_Complex_QF.smt
- Chebyshev_Simple.smt
- Comm_Ring_Z3.smt
- FirstOrder_1.smt
- FirstOrder_2.smt
- Hofer_hofer.smt
- String_Escape.smt
- BitVec.lean
- BoolNatInt.lean
- Inductive.lean
- Names.lean
- String.lean
- Trigger.lean
- ExistEq.p
- ExistTest.p
- ForallEqL.p
- Zipper_Invalid.p
- Bugs.lean
- LamEmbed.lean
- LemDBTest.lean
- Reduction.lean
- Shell.txt
- SMTParser.lean
- Test_Regression.lean
- .gitignore
- Auto.lean
- lake-manifest.json
- lakefile.lean
- lean-toolchain
- LICENSE
- README.md
- TODO.md
// repository documentation
Was this content helpful?
(0 ratings)