philosophy.md « math « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/math/philosophy.md

blob: e3be3ac0c1009811e8ec8cb66e53dd5370f9046c (plain)

# Reference

0. []()
0. [What is the point of formalising mathematics?](https://lawrencecpaulson.github.io/2022/06/22/Why-formalise.html)