groupoid / groupoid.space Goto Github PK

Create a page indicating the current status of the project (achievements, news etc).

Many authors of papers are omitted, many typos and abbreviations instead of full names.
For example:
T.Streicher. A groupoid model refutes UIP. 1994 should be
M. Hofmann T.Streicher. The groupoid model refutes uniqueness of identity proofs. 1994

Android 5.0.2 kernel 3.4.0+ can't see WebGL in header (black back) on WebView
While other WebGL demos are OK

https://github.com/groupoid/groupoid.space/blob/master/mltt/types/propset/index.html (http://groupoid.space/mltt/types/propset/)

This: https://raw.githubusercontent.com/groupoid/infinity/master/priv/propset.ctt.

There should be https://raw.githubusercontent.com/groupoid/infinity/master/priv/prop.ctt, I think.