Smaug123/agdaproofs

Issues

• Free groups

  #12 opened 6 years ago by Smaug123
  2

• Define the reals

  #7 opened 6 years ago by Smaug123
  5

• Lemmas about the reals

  #96 opened 5 years ago by Smaug123
  0

• Solve Problem 1 of Project Euler without using unary numbers

  #84 opened 5 years ago by Smaug123
  0

• Binary naturals

  #29 opened 5 years ago by Smaug123
  4

• Prove that the Cantor diagonal function is bijective

  #8 opened 5 years ago by Smaug123
  0

• Remove axiom K from the definition of the integers

  #38 opened 5 years ago by Smaug123
  0

• Tidy up the interfaces between modules

  #11 opened 6 years ago by Smaug123
  1

• Unums

  #14 opened 6 years ago by Smaug123
  1

• Finite symmetric groups

  #10 opened 6 years ago by Smaug123
  1

• Find and implement a better file structure

  #9 opened 6 years ago by Smaug123
  1

• TotalOrder needs to be defined on Setoids

  #6 opened 6 years ago by Smaug123
  1

• Zn Ring

  #13 opened 6 years ago by Smaug123
  0