79533129

Date: 2025-03-25 09:02:21
Score: 2.5
Natty:
Report link

I wanted to generate not images, but table. Using purescript. Works, but didn't finish.

https://gist.github.com/srghma/9cfdfb8f5b679fba701ce1f6d005f2cf

P.S. with this I was able to find mistake in https://proofwiki.org/w/index.php?title=Topologies_on_Set_with_3_Elements&type=revision&diff=734229&oldid=502788

Reasons:
  • Probably link only (1):
  • Contains signature (1):
  • Low length (1):
  • No code block (0.5):
  • High reputation (-1):
Posted by: srghma