A tool for building Lean4 .olean files from Lean3 export data
Apache License 2.0
10
stars
1
forks
source link
readme
binport is a deprecated tool for building lean4 .olean files from lean3 .tlean files. It has been incorporated into the WIP combined binary/syntactic porting tool mathport.