Zulip Chat Archive
Stream: general
Topic: Functional Big-step Semantics
Francisco Giordano (Feb 24 2024 at 02:49):
Does anyone have any thoughts on whether the Functional Big-step Semantics approach used by CakeML would translate well to Lean? CakeML uses this approach in HOL4
Last updated: May 02 2025 at 03:31 UTC