Comment by slekker
2 days ago
Any performance benchmarks you could share? I think the trade-off for program correctness is worthwhile, but I wished to see more theorems around the core business logic
2 days ago
Any performance benchmarks you could share? I think the trade-off for program correctness is worthwhile, but I wished to see more theorems around the core business logic
I've measured Lean against the benchmark game here: https://mech-lang.org/benchmarks/#v=1&ellipses=lean4&view=la...
[dead]