* {{Benutzer|Drahflow}}: [http://us.metamath.org metamath]+[https://github.com/Drahflow/Igor Igor] - sehr formale Mathematik
* Jens Wegener: [https://www.arcman.de/ Arcman] ([[:Datei:ARCMAN stratum0 V1.0.pdf|Folien]])
* {{Benutzer|oni}}: Batman-adv und Freifunk
* {{Benutzer|Drahflow}}: [http://us.metamath.org metamath]+[https://github.com/Drahflow/Igor Igor] - sehr formale Mathematik
* Jens Wegener: [https://www.arcman.de/ Arcman] ([[:Datei:ARCMAN stratum0 V1.0.pdf|Folien]])
* {{Benutzer|oni}}: Batman-adv und Freifunk