Giters

skieffer / pfsc-ise

The client side of the Proofscape ISE

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Proofscape ISE

PISE

This is PISE, the Proofscape Integrated Study Environment.

About

The client side of the Proofscape ISE

License:Apache License 2.0

Languages

Language:JavaScript 95.5%Language:CSS 4.5%Language:Makefile 0.0%