mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
.rst-content .admonition .admonition-title:before {
    content: none;
}

.rst-content .admonition-theorem .admonition-title:before {
    content: none;
}

.rst-content .admonition-proof .admonition-title:before {
    content: none;
}

code.literal {
    color: #404040 !important;
    background-color: #fbfbfb !important;
}