conda-forge / packages / coq

• 0

Coq is a formal proof management system

• Conda
• Files
• Labels
• Badges