5 ms·
it would be so much better if they used Rust
by dvhh 9y ago
it would be so much better if they used Rust
- adamnemecek 9y agoMore like coq
- gnulinux 9y agoCoq is intuitionistic, classical proofs cannot be expressed. Mathematicians almost always (unless intuitionistic math is your niche) use classical proofs.
- adamnemecek 9y agoIt kinda is yes. I don’t understand why classical proofs are still a thing.