Issues · trishullab/copra

Labels Milestones New issue

README should indicate how to use COPRA

#80

· JasonGross opened

on May 10, 2025

fail to checkout mathlib when running the './src/scripts/setup.sh'

#64

· xwk-911 opened

on Feb 7, 2025

3

IDE integration for Coq

#54

· aa755 opened

on Apr 30, 2024