π-Base
Replies: 1 comment
-
|
Good week to share this - @jamesdabbs and I are hanging out at https://aimath.org/workshops/upcoming/cyberinfrastructure/ this week and working on better Lean/pi-Base integration. Will ponder this more in the near future... |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello all! I am a 5th year BS-MS student from IISc and I have been working on formalising Counter-Examples in Topology from this book :-Counter Examples in Topology , here is my websiteCounterExamples. So, any comments about my code will be deeply appreciated.The main objective of this project is to make Counter Examples and some tactics so that for any given conjecture in topology, one can use a formal tactic to specialize it for that particular topological space and give an instant disproof of it.
Beta Was this translation helpful? Give feedback.
All reactions