sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
lean4/flake.lock
Henrik Böving e5f0d6283a chore: update to c++20 (#12117) 
This PR upgrades Lean's internal toolchain to use C++20 as a preparatory
step for #12044.
2026-02-11 01:17:40 +00:00

1.5 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink