codatatypes

There are 0 repository under codatatypes topic.

• alexkeizer / QpfTypes

  A WIP definitional (co)datatype package for Lean4

  datatypesleanlean4codatatypes
  Language:Lean 44