GitHub repository: l3r8yJ/phi-reducer
Primary language: Coq
Created: 2023-02-23T11:27:23Z
Description: Experimental repo