Skip to content

feat: infer def/theorem DefKind for let rec#1866

Merged
leodemoura merged 1 commit intoleanprover:masterfrom digama0:let_rec_theoremNov 29, 2022

Commits

Commits on Nov 28, 2022