Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 008df914d4
  
  Proof dump, to be checked main Luca Fulchir 2023-02-10 15:45:12 +0100
• 186b1ad512
  Proofs and little description Luca Fulchir 2016-10-14 11:05:37 +0200
• 0afba5f2cb
  Added Readme.md Luca Fulchir 2016-10-14 10:44:25 +0200