GitHub repository: zacky1972/coqex
Primary language: Elixir
Created: 2025-01-04T23:43:16Z
Description: Coqex: A Coq-Elixir binding