scunac

swMATH21328MaRDI QIDQ33136FDOQ33136

Author name not available (Why is that?)

Official website: https://github.com/theoremprover-museum/scunac

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

Described by source

• Encoding functional relations in Scunak
• Verifying and Invalidating Textbook Proofs Using Scunak

Cited In (2)

• A user-friendly interface for a lightweight verification system
• NetSketch

This page was built for software: scunac