FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
mathlib/tests at master · SzJS/mathlib · GitHub
SzJS
mathlib
Repository navigation
Code
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Expand file tree
Breadcrumbs
mathlib
/
tests
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
Breadcrumbs
mathlib
/
tests
/
Copy path
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
examples.lean
examples.lean
finish1.lean
finish1.lean
finish2.lean
finish2.lean
finish3.lean
finish3.lean
mk_iff_of_inductive.lean
mk_iff_of_inductive.lean
norm_num.lean
norm_num.lean
split_ifs.lean
split_ifs.lean
tactics.lean
tactics.lean
Back
|
FazBrowse Home
|
New Git URL