…
..
.gitignore
28.lean
29.lean
34.lean
108.lean
111.lean
121.lean
125.lean
175.lean
1954.lean
1968.lean
anonymous_ctor_error_msg.lean
array1.lean
autoparam.lean
backtrackable_estate.lean
bigmul.lean
bigop.lean
borrowBug.lean
catchThe.lean
cdotTests.lean
check.lean
choiceExpectedTypeBug.lean
choiceMacroRules.lean
closure1.lean
coeIssue1.lean
coeIssue2.lean
coeIssue3.lean
coeIssues4.lean
coelambda.lean
CoeNew.lean
coeSort1.lean
coeSort2.lean
CommandExtOverlap.lean
compiler_proj_bug.lean
constantCompilerBug.lean
core.lean
csimp_type_error.lean
def1.lean
def2.lean
def3.lean
def4.lean
def5.lean
def6.lean
def7.lean
def8.lean
def9.lean
def10.lean
def11.lean
def12.lean
def13.lean
def14.lean
def15.lean
def16.lean
def17.lean
def18.lean
def19.lean
def20.lean
DefEqAssignBug.lean
depElim1.lean
deriv.lean
dofun_prec.lean
doNotation1.lean
doNotation2.lean
doNotation3.lean
doNotation4.lean
doNotation5.lean
doNotation6.lean
doTrailingAtEOI.lean
elab_cmd.lean
elabCmd.lean
elabIte.lean
emptycOverloadIssues.lean
etaFirst.lean
eval_unboxed_const.lean
evalconst.lean
expectedTypePropagation.lean
expr1.lean
expr_maps.lean
extern.lean
extmacro.lean
finally.lean
float1.lean
float_cases_bug.lean
float_from_bignum.lean
floatarray.lean
foldConsts.lean
frontend1.lean
fun.lean
generalize.lean
generalizeTelescope.lean
genindices.lean
getline_crash.lean
implicitTypesRecCoe.lean
incmd.lean
ind_cmd_bug.lean
induction1.lean
inductive1.lean
inductive2.lean
inj1.lean
inj2.lean
inline_fn.lean
inliner_loop.lean
instances.lean
instuniv.lean
int_to_nat_bug.lean
intromacro.lean
IO_test.lean
irCompilerBug.lean
kernel1.lean
kernel2.lean
kevin.lean
level.lean
LiftMethodIssue.lean
listDecEq.lean
localNameResolutionWithProj.lean
macro.lean
macro2.lean
macro3.lean
macro_macro.lean
macroid.lean
match1.lean
matchArrayLit.lean
matcherElimUniv.lean
matchNoPostponing.lean
matchtac.lean
meta1.lean
meta2.lean
meta3.lean
meta4.lean
meta5.lean
meta6.lean
meta7.lean
mixedMacroRules.lean
mixfix.lean
monadCache.lean
monadControl.lean
namespaceIssue.lean
nativeReflBackdoor.lean
natlit.lean
nested_match_bug.lean
new_compiler.lean
new_frontend2.lean
new_inductive.lean
new_inductive2.lean
newfrontend1.lean
newfrontend2.lean
newfrontend3.lean
newfrontend4.lean
newfrontend5.lean
nicerNestedDos.lean
noncomputable_bug.lean
obtain.lean
overloaded.lean
parseCore.lean
partial1.lean
patbug.lean
print_cmd.lean
proofIrrelFVar.lean
prv.lean
ptrAddr.lean
quasi_pattern_unification_approx_issue.lean
rc_tests.lean
readerThe.lean
recInfo1.lean
reduce1.lean
reduce2.lean
reduce3.lean
Reformat.lean
Reid1.lean
Reparen.lean
replace.lean
resolveLVal.lean
revert1.lean
scc.lean
sharecommon.lean
spec_issue.lean
stateRef.lean
strInterpolation.lean
struct1.lean
struct2.lean
struct3.lean
struct_inst_typed.lean
struct_instance_in_eqn.lean
structInst.lean
structInst2.lean
structInst3.lean
structInst4.lean
structuralRec1.lean
structure.lean
stxMacro.lean
subst1.lean
synth1.lean
synthPending1.lean
tactic.lean
tactic1.lean
tacticExtOverlap.lean
task_test.lean
task_test2.lean
task_test_io.lean
termElab.lean
termParserAttr.lean
termparsertest1.lean
test_single.sh
toExpr.lean
trace.lean
tryPureCoe.lean
type_class_performance1.lean
typeclass_append.lean
typeclass_coerce.lean
typeclass_diamond.lean
typeclass_easy.lean
typeclass_loop.lean
typeclass_metas_internal_goals1.lean
typeclass_metas_internal_goals2.lean
typeclass_metas_internal_goals3.lean
typeclass_metas_internal_goals4.lean
typeclass_outparam.lean
ubscalar.lean
unexpected_result_with_bind.lean
unif_issue.lean
unif_issue2.lean
update.lean
WindowsNewlines.lean