PRV

From MaRDI portal

(Redirected from Software:31442)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=PRV&oldid=56489685"