scunac

MaRDI QIDQ33136swMATHFDO

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