GitHub repository: ChAoSUnItY/CppExp
Primary language: Haskell
Created: 2024-07-21T20:05:02Z
Description: C preprocessor Experimental edition used for formal verification