Help
Category:Coq
From PKC
Revision as of 16:02, 11 February 2023 by
Benkoo2
(
talk
|
contribs
)
(Created page with "See
Coq
")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation
Jump to search
See
Coq
Pages in category "Coq"
The following 2 pages are in this category, out of 2 total.
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
Navigation menu
Personal tools
English
Log in
Namespaces
Category
Discussion
Variants
expanded
collapsed
Views
Read
View source
View history
More
expanded
collapsed
Search
Keys
Personal Knowledge Container (PKC)
Meta University
Inter-Org Workflow
PKC Principles
Universal Abstraction
Accountable Data
Data-Centric Knowledge
Trustworthy Data
Hypertext Syntax
Demo:Timeline
Useful Links
Recent Changes
What links here
File List
BackupAndRestore
SemanticWiki Demo
Feature Demo
Google Features
PageFlow
Story Tellers
ICT Awareness
Data Organization
Data Processing
Data Security
Data Deployment
Project Management
Resource Categories
Property Categories
Activity Categories
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Page values
Browse properties