Skip to content

Activity

Merge pull request #44 from agrarpan/coq-8.14

Pull request merge
tlringerpushed 48 commits to WIP-8.14 • 346f674…cf234db • 
on Jul 4, 2024

Update README.md

agrarpancreated WIP-8.14 • 346f674 • 
on Jul 3, 2024

Update README.md

agrarpancreated 8.9_for_pumpkin_patch • 346f674 • 
on Jul 3, 2024