PRV

MaRDI QIDQ31442swMATHFDO

Official website https://github.com/theoremprover-museum/PRV-Beweisprogramm

Source code repository https://github.com/theoremprover-museum/PRV-Beweisprogramm

Cited in

(1)

• scientific article; zbMATH DE number 194631 (Why is no real title available?)

This page was built for software: PRV