ProofWidgets

swMATH46249MaRDI QIDQ5975101FDOQ5975101

Author name not available (Why is that?)

Cited In (1)

• A bi-directional extensible interface between Lean and Mathematica

This page was built for software: ProofWidgets