kebekus
/
nevanlinna
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

First test

This commit is contained in:
Stefan Kebekus 2024-04-23 09:22:06 +02:00
parent 5382d1572b
commit a5ce6034de
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,2 +1,3 @@
/build
/lake-packages/*
.lake

2
nevanlinna/test.lean
View File

@ -1 +1,3 @@
import Mathlib.Topology.Basic
#check TopologicalSpace