Alectryon

github.comtool

Collection of tools for writing technical documents that mix Coq code and prose.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Tools: “Collection of tools for writing technical documents that mix Coq code and prose.”