issues
search
Smaug123
/
agdaproofs
Mathematical proofs in Agda
MIT License
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unfinished ordinals stuff and a tiny bit of division
#131
Smaug123
closed
3 years ago
0
Total order examples
#130
Smaug123
closed
3 years ago
0
Add GitHub Workflow
#129
Smaug123
closed
3 years ago
0
Bump Agda
#128
Smaug123
closed
4 years ago
0
Tidy up a bit
#127
Smaug123
closed
4 years ago
0
More lecture notes stuff
#126
Smaug123
closed
4 years ago
0
ProjectEuler 2, nearly
#125
Smaug123
closed
4 years ago
0
Hide more stuff
#124
Smaug123
closed
4 years ago
0
Fix the build properly this time
#123
Smaug123
closed
4 years ago
0
Fix build
#122
Smaug123
closed
4 years ago
0
Reorganise Fields.FieldOfFractions.Order to possibly be a bit faster
#121
Smaug123
closed
4 years ago
0
Make more stuff private
#120
Smaug123
closed
4 years ago
0
Move Functions
#119
Smaug123
closed
4 years ago
0
Move Bool
#118
Smaug123
closed
4 years ago
0
Partially ordered ring, at last
#117
Smaug123
closed
4 years ago
0
Lots of speedups
#116
Smaug123
closed
4 years ago
0
Irrelevant field of fractions denominator proof
#115
Smaug123
closed
4 years ago
0
Base expansions do approximate the number
#114
Smaug123
closed
4 years ago
0
N-ary expansions
#113
Smaug123
closed
4 years ago
0
Move towards base-n expansions
#112
Smaug123
closed
4 years ago
0
Tidy up the definition of entailment
#111
Smaug123
closed
4 years ago
0
Lots of without-K
#110
Smaug123
closed
4 years ago
0
Lots of refactoring towards partially-ordered ring R
#109
Smaug123
closed
4 years ago
0
Clarify why UFDs are hard
#108
Smaug123
closed
4 years ago
0
Move the tautology stuff
#107
Smaug123
closed
4 years ago
0
Free-group lemmas
#106
Smaug123
closed
4 years ago
0
Universal property of free product
#105
Smaug123
closed
4 years ago
0
Define the free product
#104
Smaug123
closed
4 years ago
0
Termination checker got a bit sad on upgrade
#103
Smaug123
closed
4 years ago
0
Free groups: universal property
#102
Smaug123
closed
4 years ago
0
Better classical five
#101
Smaug123
closed
4 years ago
0
Tweak tautology
#100
Smaug123
closed
4 years ago
0
Met and Top first lecture, and some more graphs
#99
Smaug123
closed
4 years ago
0
Some graphs stuff
#98
Smaug123
closed
4 years ago
0
Alternative LUB property
#97
Smaug123
closed
4 years ago
0
Lemmas about the reals
#96
Smaug123
opened
4 years ago
0
Definitions for the reals, classically
#95
Smaug123
closed
4 years ago
0
Some basic sets
#94
Smaug123
closed
4 years ago
0
Rem unused opens in Safe
#93
Smaug123
closed
4 years ago
0
Cleanup finset and modulo
#92
Smaug123
closed
4 years ago
0
Reshuffle orders
#91
Smaug123
closed
4 years ago
0
Another phrasing of Euclidean Domain
#90
Smaug123
closed
4 years ago
0
List is a monad
#89
Smaug123
closed
4 years ago
0
WIP for factorisation
#88
Smaug123
closed
4 years ago
0
Irreducible implies generated ideal is maximal
#87
Smaug123
closed
4 years ago
0
More rings
#86
Smaug123
closed
4 years ago
0
Problem 1 of Project Euler
#85
Smaug123
closed
4 years ago
0
Solve Problem 1 of Project Euler without using unary numbers
#84
Smaug123
opened
4 years ago
0
More rings stuff
#83
Smaug123
closed
5 years ago
0
Lots of rings
#82
Smaug123
closed
5 years ago
0
Next