|
|
|
|
|
|
by mdnahas
807 days ago
|
|
|
There are other foundations for mathematics. Dependent Type Theory has a lot of support from people studying Proof Theory. It is based on typed lambda calculus. It is currently being researched and implemented in mathematical provers, like Coq and Lean. |
|
|