| ▲ | stabbles 2 hours ago | |
At that point you might as well use Lean? It would solve the two language problem :-) | ||
| ▲ | araquesebastian 2 hours ago | parent [-] | |
yep | ||
| ▲ | stabbles 2 hours ago | |
At that point you might as well use Lean? It would solve the two language problem :-) | ||
| ▲ | araquesebastian 2 hours ago | parent [-] | |
yep | ||