patrick/agdaproofs
1
0
Fork 0
mirror of https://github.com/Smaug123/agdaproofs synced 2025-10-12 07:08:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
agdaproofs/Fields/CauchyCompletion
History
Smaug123 7f4ed2ec7e Bump up to 2.6.2
2021-10-31 18:19:15 +00:00
..
Addition.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
Approximation.agda
Bump up to 2.6.2
2021-10-31 18:19:15 +00:00
Archimedean.agda
Bump up to 2.6.2
2021-10-31 18:19:15 +00:00
BaseExpansion.agda
Tidy up a bit (#127)
2020-05-19 07:44:42 +01:00
Comparison.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
Definition.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
EquivalentMonotone.agda
Tidy up a bit (#127)
2020-05-19 07:44:42 +01:00
Field.agda
Tidy up a bit (#127)
2020-05-19 07:44:42 +01:00
Group.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
Multiplication.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
NearlyTotalOrder.agda
Tidy up a bit (#127)
2020-05-19 07:44:42 +01:00
PartiallyOrderedRing.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
Ring.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00
Setoid.agda
Move Functions (#119)
2020-04-18 17:47:27 +01:00