summaryrefslogtreecommitdiff
path: root/math/lean4/files/patch-src_runtime_io.cpp (follow)
Commit message (Expand)AuthorAgeFilesLines
* math/lean4: New port: Theorem prover and functional language for math (new gen)Yuri Victorovich2024-01-131-0/+17