PRV
From MaRDI portal
Software:31442
swMATH19617MaRDI QIDQ31442FDOQ31442
Author name not available (Why is that?)
Source code repository: https://github.com/theoremprover-museum/PRV-Beweisprogramm
Cited In (1)
This page was built for software: PRV
