European University Institute Library
Automatic theorem proving + Computer programs
Type
http://bibfra.me/vocab/lite/Concept
Label
Automatic theorem proving + Computer programs
Name
Automatic theorem proving + Computer programs
Focus
Automatic theorem proving + Computer programs
Sub focus
Computer programs
Automatic theorem proving
Actions
Share resources
Incoming Resources
Subject of
1
Certified programming with dependent types, a pragmatic introduction to the Coq proof assistant, Adam Chlipala
Outgoing Resources
Focus
1
Automatic theorem proving + Computer programs
Sub focus
2
Computer programs
Automatic theorem proving
Link Analysis