7 ms·
Well, Standard ML was initially designed for a theorem prover, so you're definitely onto something here :)
by lou1306 2y ago
Well, Standard ML was initially designed for a theorem prover, so you're definitely onto something here :)
loading thread…