issues
search
siddhartha-gadgil
/
LTS2019
Web page, code for "Logic, Types Spaces 2019" at IISc
http://math.iisc.ac.in/~gadgil/LTS2019/
MIT License
9
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump addressable from 2.5.2 to 2.8.0 in /_local-site
#285
dependabot[bot]
closed
3 years ago
0
Bump addressable from 2.5.2 to 2.8.0
#284
dependabot[bot]
closed
3 years ago
0
Bump rake from 12.0.0 to 12.3.3 in /_local-site
#283
dependabot[bot]
closed
4 years ago
0
Bump rake from 12.0.0 to 12.3.3
#282
dependabot[bot]
closed
4 years ago
0
Updated report file
#281
NabarunDeka
closed
5 years ago
0
Partially fixed eitherPrimeOrComp
#280
SideArt
closed
5 years ago
0
Added report
#279
adithyaupadhya
closed
5 years ago
0
Updated Report
#278
rohit3499
closed
5 years ago
0
Updated quicksort
#277
NabarunDeka
closed
5 years ago
0
Longtime
#276
siddhartha-gadgil
closed
5 years ago
0
filled a minor hole
#275
AR-MA210
closed
5 years ago
0
Updated report and...
#274
anotherArka
closed
5 years ago
0
Update report
#273
SS-C4
closed
5 years ago
0
Report updated
#272
SS-C4
closed
5 years ago
0
Update report
#271
SS-C4
closed
5 years ago
0
Update rathivrunda.md
#270
rathivrunda
closed
5 years ago
0
Recursive division proofs, proofs with GCDs and Primes
#269
adithyaupadhya
closed
5 years ago
0
Updated with new contributions
#268
Chinmaya-Kausik
closed
5 years ago
0
Totality annotations for Lists.idr
#267
Chinmaya-Kausik
closed
5 years ago
0
GroupCosets with totality annotations
#266
Chinmaya-Kausik
closed
5 years ago
0
BaseN is now total
#265
Chinmaya-Kausik
closed
5 years ago
0
Alignment for module name and filename
#264
Chinmaya-Kausik
closed
5 years ago
8
Updated Quicksort
#263
NabarunDeka
closed
5 years ago
0
Added a more general function extending equality
#262
rohit3499
closed
5 years ago
0
Created File Module.idr with definitions and some properties
#261
rohit3499
closed
5 years ago
1
Update Q.idr
#260
rathivrunda
closed
5 years ago
3
Update ZZUtils.idr
#259
rathivrunda
closed
5 years ago
0
Update Q.idr
#258
rathivrunda
closed
5 years ago
0
LTE implies lte m n = True
#257
Chinmaya-Kausik
closed
5 years ago
0
Totality and FinNatop
#256
Chinmaya-Kausik
closed
5 years ago
0
Update Rats.idr
#255
rathivrunda
closed
5 years ago
0
Rename Ring.Properties.idr to RingProperties.idr
#254
Chinmaya-Kausik
closed
5 years ago
0
Created a file for concrete kinds of rings
#253
Chinmaya-Kausik
closed
5 years ago
1
Auxiliary function for proving that each factor is prime or 1.
#252
SS-C4
closed
5 years ago
0
Proofs that for a ring homomorphism f, f(0) = 0
#251
Chinmaya-Kausik
closed
5 years ago
0
chaining euclidean divisions
#250
siddhartha-gadgil
closed
5 years ago
0
Modularised Primes
#249
SS-C4
closed
5 years ago
5
Update for Totality
#248
AR-MA210
closed
5 years ago
0
Updated for Totality.
#247
AR-MA210
closed
5 years ago
0
GCD and decDiv
#246
adithyaupadhya
closed
5 years ago
0
Cleaned and more useful factorise
#245
SS-C4
closed
5 years ago
1
DecDiv and GCD
#244
adithyaupadhya
closed
5 years ago
0
Updated Report and added the following (check description)
#243
anotherArka
closed
5 years ago
0
Finished some remaining proof. Updated report
#242
anotherArka
closed
5 years ago
0
(Prime) Factorisation of numbers is done.
#241
SS-C4
closed
5 years ago
3
`factor2` factorises a number into two others
#240
SS-C4
closed
5 years ago
0
Defined some operations and proved some properties of equivalence relations
#239
anotherArka
closed
5 years ago
2
Cleaned up Linear.idr
#238
AR-MA210
closed
5 years ago
0
Update report
#237
shafilmaheenn
closed
5 years ago
0
s
#236
shafilmaheenn
closed
5 years ago
0
Next