Archives: [ cm / sci / v / y ]
  • /sci/ - Science & Math
    • Index
    • Archives
    • /cm/ - Cute/Male
    • /sci/ - Science & Math
    • /v/ - Video Games (Archive)
    • /y/ - Yaoi
  • Index
    • By Post
    • By Thread
  • Ghost
  • Gallery
Your latest searches
Capcode
Show Posts
Deleted Posts
Ghost Posts
Post Type
Results
Order
66KiB, 1128x606, lean.png
View SameGoogleiqdbSauceNAO
Anonymous Mon 25 Nov 11:59:55 2019 No.11175561 ViewReplyOriginalReport
Quoted By: >>11175562
More people should learn this. It's actually fun!
Anonymous
Anonymous Mon 25 Nov 2019 12:00:35 No.11175562 Report
Quoted By: >>11175567
>>11175561
What
Anonymous
Anonymous Mon 25 Nov 2019 12:02:34 No.11175567 Report
Quoted By:
>>11175562
VStudioCode + Lean
Theorem proving assistant.
×

FoolFuuka Imageboard 2.2.0 - Asagi Fetcher
Change Theme
  • Fuuka
  • FoolFuuka - Default
  • FoolFuuka - Midnight
  • Yotsubatwo - Yotsuba
  • Yotsubatwo - Yotsuba B
Change Language
  • English
  • French
  • Italian
  • Portuguese
  • Add a Translation
Please use the report function for reporting posts. All other inquiries contact: admin@fireden.net