|
|
|
|
|
|
by javra
3184 days ago
|
|
|
Working in the field I rather have the feeling that it is slowly but surely falling asleep. One of Voevodsky's views was that all the foundation for a dependently typed formalization of maths is already there, and that it mainly needs to be organized in a better way (cf his unimath project). |
|
|