search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

feat: add origin header to synported files #211

Closed rwbarton closed 1 year ago

kim-em commented 1 year ago

Looks good: the CI artifacts at https://github.com/leanprover-community/mathport/releases/download/pr-rwbarton-src-header-5b31c4a/mathlib3-synport.tar.gz have the comments correctly.