This is a website describing my own understanding towards some logic theories. There's a kind of technique called meta-programming to write a large program easily. I hope I could apply it to mathematics.
fduxiao / formalworld Goto Github PK
View Code? Open in Web Editor NEWA formal way to describe the world.
Home Page: https://fduxiao.github.io/FormalWorld/
License: GNU General Public License v3.0