|
|
|
|
|
|
by smj-edison
761 days ago
|
|
|
Mathematics is perhaps a subset of logic? I'm not very familiar with this space, but I think it's pretty cool that so much of math can be represented with very simple rules building up, especially with things like the Lean proof language. |
|
|