Conversation
Notices
-
kat (boneidol@indy.im)'s status on Tuesday, 27-Feb-2018 13:10:20 UTC kat https://golem.ph.utexas.edu/category/2018/02/homotopy_type_theory_electroni.html !math #HoTT
Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.