Category:Proof Assistant

From PKC

Jump to navigation Jump to search

See Proof assistant

Subcategories

This category has only the following subcategory.

A

Agda‎ (2 P)

Pages in category "Proof Assistant"

The following 3 pages are in this category, out of 3 total.

A

Agda

V

Video/Sandy Vanderbleek - Athena: A Declarative Language For Proofs In Computer Science - λC 2018
Video/Stephan Boyer - Proving Theorems and Certifying Programs with Coq - λC 2018

Retrieved from "https://pkc.pub/index.php?title=Category:Proof_Assistant&oldid=30633"