|
|
|
|
|
|
by strongly-typed
93 days ago
|
|
|
You know you could just define the verified specs in lean and if performance is a problem, use the lean spec to extract an interface and tests for a more performant language like rust. You could at least in theory use Lean as an orchestrator of verified interfaces. |
|
|