add(SecondOrder): Kind, Typ and Term definitions
#2
thelissimusAnnotations
1 warning
|
build
Unexpected input(s) 'lint-module', valid inputs are ['auto-config', 'build', 'test', 'lint', 'build-args', 'use-mathlib-cache', 'check-reservoir-eligibility', 'lean4checker', 'use-github-cache', 'lake-package-directory']
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
6.76 MB |
|