Smaug / agda

Patches

KeyValue by Patrick Stevens, created on November 11, 2018

BDtkbpGfibdNTQRpTj9sKrDm6KbNXzw4wCc5yqGitX7RhgrvCqrpwMcht8rmfRCNFhVJ5hndJQ7a4BkiV6PiiEAX
Zn is a group by Patrick Stevens, created on October 30, 2018

AuQktEwjrjnqNHkb9DKpzgodEWx5o7rGx7uXXSF6brovHMX6SonGW9G3eowNi98fdCqzEy7sSCewsHB1XdxpPSnm
IntegerRing by Patrick Stevens, created on October 8, 2018

8YYNqxjX8euHDAtMkc64et9qUdM9HGU2HkQZGJZ2qxCKEJgt9V5qRoY1Z1NWxaYL1bhzDrALQTCaPpkcSBdG9AF6
More by Patrick Stevens, created on September 30, 2018

8ZqwgSkx7B5Wh1Hrq7u7xXctPQQjQGamHMRTdrvreiS6q3NP8BWdXUj4uoyn43zMShpaGjrjUcUouabgeYwhMEy1
VectorsCategories by Patrick Stevens, created on September 30, 2018

9FNvieyAvGm7rQmad3i8R7bqQ5Q5sxKQfLu9ZAxNdM6RZ7xyh5d7ogCXi3jUoFo8b6mNvsnsMJ5fWCDXRLYNHKe3
FTA by Patrick Stevens, created on July 22, 2018

7avC19DFvjyGah8WcjdQjn5MuUEpEuZJ5qpmagqsTvTZYovn5PJWALogFpMSNc8Hwd9VtFVu8dFC8ndkib4tdsg7
FactorisationNearlyUnique by Patrick Stevens, created on July 22, 2018

7QQe2mRBX485AFGoWqpH1oRGGNS11nz6gfYjtmyY6v5DP4eoTQJQs7HRpSBFTLoojJJtudFHa3rdALe7KY3asHRF
NeralyUnique by Patrick Stevens, created on July 22, 2018

7xpse8qvLX5Z5hBzf6EWobuTLUNeD5tKw1ig2MX45SksRnWRsozC2emXzhTsb355EAhJnSztnwSALYxQM3FSMH6r
Every natural has a prime factorisation by Patrick Stevens, created on July 21, 2018

AnqTDZc3aNgakSa6yW2Fjs3aLKqTA1XeGoAVshgdXyCGi1KUWpo5RUKR1oP4rR9E6VFpqWFUeoEkLvTUXcUbTXAK
FindPrimeDivisor by Patrick Stevens, created on July 20, 2018

8xyEbXiKtffKTqryoAFT4oNyEXcMu4nAEU67jvRKnqaDPMCJ3dUj2hJ2JneyekLeRgVwJJpwWzLJHb36PGZdfmQE
Decidable primality by Patrick Stevens, created on July 19, 2018

9GBBZQTraRJKpg6PM6nuk539S9kp7UmMz7b9UFyW4zrNewLBFFbmDXNz33sV5ixfpcE5PzDeGoLt6v3tyaiRSVpA
Bit more stuff by Patrick Stevens, created on July 19, 2018

8JjYuFefNEzGy2E7m8wyAvsTsPJsWw3N269jSow5bzYvotRFYjxcBLkrvtSefrM71yQLZbH4a3eFsKSco3RtxETL
Integer factorisation by Patrick Stevens, created on July 18, 2018

AYCSRu9sivgjn9vtARpzFQ1RXPGCceicjXbfE3rTc1ZSL2m5F6isxuzYvtjUkekn5TJa5tLYqKnvCYZf7WksAVrC
More info in Prime type by Patrick Stevens, created on July 18, 2018

9Kz4NDuRaaHmc15rsLwp6tzFG8CwSLn5ytoN4Kji5Ftf7smpGGkNhD7XPgNxV9kx7XXz5RHops17K6JRVCn2DiUz
PrimesArePrime by Patrick Stevens, created on July 15, 2018

9C8haKa4BjoJxgjZJf8vTgd8bS28b6deLZgtbysbQsAQNbHP67UUGKNe3WKrtDKKQwB7ZYUs975FPFUrNWrR5DJb
BetterDivides by Patrick Stevens, created on July 15, 2018

928q7Ls4DepGPSdDuAS85uYgDTDzCoqHTTTEG1tvR73YpmgxeYBui66jqRheZF94g1Hp71nmYPGpzgn8yHhKcoMd
misc-additions by Patrick Stevens, created on July 13, 2018

AjPSAUyDTTvVYxqZg8MXeSp4ZiJ8343XHsNMkYSnT9X5gqkfS1T76Lyk74WJ9TP1kxwNaFAk2trpdCPXUCzFnsRg
HCF by Patrick Stevens, created on July 7, 2018

8YGfdYUv8ui52cQMUP35nP6BRVMuCPZPEXTitnJKd8mg1xBfpbVbbVwM5tjB4yQvYqq3J6ahhFMXsJ3MyyKXyigd
Misc more by Patrick Stevens, created on June 15, 2018

6XbxvYgLJB34XtCQrJsTp2c2676PG32otCmrDar67d5FUBHCLdjTRLjf1QFr4ibXa1gxMmbir22vaBiR4jgdj4CM
Groups are go! by Patrick Stevens, created on June 10, 2018

96XKtWFNVtyqGiPmiPTurrz4Q3r7t8rcU4FsGmz2xGDhihvsSXeBJocA2hTJL6q2PK1Uag71ET7HgpjBogtP4vjK
Minor warning fixes by Patrick Stevens, created on June 10, 2018

AX1GSjehhwAxS2p1rE6AW8Uc2bJKcQgxFCcMYj81fgaYK6bsGDorH8fEYpvZbXfdjeA5gG3Hyea9JYpoLHtC31tx
Safe mode by Patrick Stevens, created on June 9, 2018

93byv5NZLLyjhCMxXZgTksQWQ9ksNEme2CAfyqM1E3HLXe66t2iVqyT1fp175p5Fhx6awYikn24qFB1b2wxeWvVJ
Refactor modules by Patrick Stevens, created on June 9, 2018

7mNtNzH1cAWmUmXrZi9c51vd7Fo7jmcHMGv6hmBRhrRug3zbxHu2ehZb5kLYdbV9h6X2NvE1equMBN2j8zWL3kjd
Initial commit by Patrick Stevens, created on June 8, 2018

6Ver1zttqdAU7iTxMAJSojiRAxbg145AZFkWGpds1LQykzZACmeiyfZhD72aiNUFnsM4knjNy1wAPXxN8vTzW9R5