kuhnsa
Results
1
comments of
kuhnsa
Regarding the sail part, I have proofs for every translation step in Lean, hence an end-to-end proof that the provided semantics are correct even when removing toInt and toNats. In...