Profile of skieffer

pfsc-examp

Last released Aug 28, 2023

Example explorers for Proofscape

vertex2tex

Last released Aug 4, 2023

VerTeX: Verbal TeX

sphinx-proofscape

Last released May 23, 2023

Sphinx extension for Proofscape

pfsc-core

Last released May 22, 2023

Proofscape Core

stylgebra

Last released Apr 23, 2023

Stylable algebraic expressions

displaylang

Last released Jan 19, 2023

Just enough Python to write displays

displaylang-sympy

Last released Aug 21, 2022

The DisplayLang fork of SymPy

pfsc-util

Last released Aug 21, 2022

Proofscape Utilities

lark067

Last released Jun 26, 2022

a modern parsing library

wsc-grempy-transport

Last released Jun 22, 2022

Supports gremlinpython without asyncio

pfsc-lang

Last released Feb 16, 2022

Proofscape Language

pfsc

Last released Jun 10, 2021

Utilities for Proofscape

proofscape