Repository Index

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.