Masanori Ogino 𓀁jscoq/jscoq: A port of Coq to Javascript -- Run Coq in your Browserhttps://github.com/jscoq/jscoq
マジ？！？！
hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.
All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.