GitHub repository: pi314mm/VirtualSubstitution
Primary language: TeX
Description: Quadratic case of virtual substitution in isabelle