Sebastian Ullrich 533c770e36 refactor: remove redundant state		2022-12-21 21:59:05 +01:00
..
Basic.lean	refactor: remove redundant state	2022-12-21 21:59:05 +01:00
Builtins.lean	refactor: instantiateTypeLevelParams in Lean	2022-10-24 12:23:13 -07:00
Options.lean	chore: apply suggestions from code review	2022-01-03 13:43:33 +01:00
SubExpr.lean	chore: move Std.* data structures to Lean.*	2022-09-26 05:46:04 -07:00
TopDownAnalyze.lean	feat: add implementation-detail hypotheses	2022-10-11 17:24:35 -07:00