Geeks
mtoohey31
/
lean4-protobuf
A WIP Protobuf package for Lean 4.
Primary Language
Lean
lean4-protobuf GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
algebraic-dev