Commit 2022-07-20 00:54 924005d3
View on Github →feat: port fconstructor (#315) This is a draft PR, as it relies on https://github.com/leanprover/lean4/pull/1319.
feat: port fconstructor (#315) This is a draft PR, as it relies on https://github.com/leanprover/lean4/pull/1319.