DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: TODO list

Browse source
This commit is contained in:
jstoobysmith 2024-11-04 06:56:21 +00:00
parent eb49122c66
commit 33db591925
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/find_TODOs.lean
View file

@ -5,7 +5,7 @@ Authors: Joseph Tooby-Smith
-/ -/
import Lean import Lean
import Batteries.Data.String.Matcher import Batteries.Data.String.Matcher
import Mathlib.Init.Data.Nat.Lemmas import Mathlib.Data.Nat.Notation
/-! /-!
# TODO finder # TODO finder