Projects in Awesome Lists by opencompl
A curated list of projects in awesome lists by opencompl .
https://github.com/opencompl/C-parsing-for-Lean4
A parser for ANSI C, in Lean4.
Last synced: 09 Jul 2025
https://github.com/opencompl/lean-gap
An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
Last synced: 09 Jul 2025