← Feed

Posts

• View post

• View post

  https://groupoid.space/books/vol4/krein-qft.pdf

• View post

  My own J.A.R.V.I.S https://erp.uno/ai/

• View post

  https://github.com/zencrypted/rtp https://tikz.dev/editor/web/ https://zencrypted.github.io/rtp/rtp.pdf

• View post

  [1]. https://rtp.zencrypted.uk [2]. https://turn.erp.uno

• View post

• View post

  https://btron.pro

• View post

  WoW, Henk's Cube is at Lean's landing! Long Life Prayers to Master Henk!

• View post

• View post

  We have more Cubes!!!

• View post

  https://axio.groupoid.space/doc/architecture.pdf

• View post

  Mornings

• View post

  Announce of Groupoid Infinity theorem prover named Christine resembling Coq 8.2 syntax and semantics, written in Elixir for Erlang/OTP with BEAM byte-code extraction. https://christine.groupoid.space

• View post

  @highergeometer it is not about gender, I had the same feedback. I can't publish in my own country any paper on HoTT because this is too much excited :-)