Skip to content

Start general definitions for computation models#550

Open
kesslermaximilian wants to merge 10 commits into
leanprover:mainfrom
kesslermaximilian:computation-model-typeclasses
Open

Start general definitions for computation models#550
kesslermaximilian wants to merge 10 commits into
leanprover:mainfrom
kesslermaximilian:computation-model-typeclasses

add some comments, todos. cleanup

ea7f98f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs