A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving. Wiedijk, F. Logical Methods in Computer Science, 8(1):1–26, 2012.
![A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @article{freek2012b,
Author = {Freek Wiedijk},
Date-Added = {2014-11-16 23:14:31 +0000},
Date-Modified = {2014-11-16 23:15:38 +0000},
Journal = {Logical Methods in Computer Science},
Number = {1},
Pages = {1--26},
Title = {A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/miz3/miz3.pdf},
Volume = {8},
Year = {2012}}Downloads: 0
{"_id":"MFQxw2fHvYWMoWkoW","bibbaseid":"wiedijk-asynthesisoftheproceduralanddeclarativestylesofinteractivetheoremproving-2012","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 23:14:31 +0000","date-modified":"2014-11-16 23:15:38 +0000","journal":"Logical Methods in Computer Science","number":"1","pages":"1–26","title":"A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/miz3/miz3.pdf","volume":"8","year":"2012","bibtex":"@article{freek2012b,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 23:14:31 +0000},\n\tDate-Modified = {2014-11-16 23:15:38 +0000},\n\tJournal = {Logical Methods in Computer Science},\n\tNumber = {1},\n\tPages = {1--26},\n\tTitle = {A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/miz3/miz3.pdf},\n\tVolume = {8},\n\tYear = {2012}}\n\n","author_short":["Wiedijk, F."],"key":"freek2012b","id":"freek2012b","bibbaseid":"wiedijk-asynthesisoftheproceduralanddeclarativestylesofinteractivetheoremproving-2012","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/miz3/miz3.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["synthesis","procedural","declarative","styles","interactive","theorem","proving","wiedijk"],"title":"A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving","year":2012}