coq-switch Versions (7)

Version Release Date Links
1.0.6 13 Dec 2023 Documentation
1.0.5 29 Jan 2021 Documentation
1.0.4 25 Sep 2020 Documentation
1.0.3 23 Sep 2020 Documentation
1.0.2 14 Mar 2020 Documentation
1.0.1 10 Oct 2019 Documentation
1.0.0 29 Sep 2018 Documentation