Sign inSign up

alexkeizer/QpfTypes

A WIP definitional (co)datatype package for Lean4

LeanStars 46Forks 4Watchers 46Open issues 20License Apache License 2.0
Details
仓库信息
Owneralexkeizer
Homepage—
GitHubhttps://github.com/alexkeizer/QpfTypes
Last pushed2025-10-23
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--