yellowsquid/cbpv-soas-and-frex.git/src/CBPV/Frex, branch main [no description] http://git.yellowsquid.uk/yellowsquid/cbpv-soas-and-frex.git/atom?h=main 2025-02-19T15:47:36Z Update to stdlib 2.1.1 and other changes. 2025-02-19T15:47:36Z Chloe Brown chloe.brown.00@outlook.com 2025-02-19T15:47:36Z urn:sha1:25feb8c72e5e4a76fbd4ab381105de6c19d6ab50 I don't fully know what has changed because the changes are so old. Doesn't yet compile due to not finishing proofs in `CBPV.Frex.Comp`. WIP: concrete families 2024-02-26T13:19:53Z Chloe Brown chloe.brown.00@outlook.com 2024-02-26T13:19:53Z urn:sha1:7e0169f7b6b9cb4c4323c320982c93e622999943