← Feed

Posts

• 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