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

docs: update

Browse source
This commit is contained in:
jstoobysmith 2024-09-03 15:39:41 -04:00
parent d40f60a0fa
commit 4d2eea5fc5
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/MetaPrograms/check_rfl.lean
View file

@ -19,6 +19,8 @@ The content of this file is based on the following sources (released under the A
Modifications have been made to the original content of these files here.
See also:
- https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/Memory.20increase.20in.20loops.2E
-/
open Lean Elab System