Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006

MaRDI QIDQ373628zbMATH OpenFDO

Authors

Publication date 18 October 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/174/2

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010
• Proceedings of the 8th international workshop on user interfaces for theorem provers (UITP 2008), Montréal, Canada, August 22, 2008
• Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
• Functional design and implementation of graphical user interfaces for theorem provers
• Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13--15, 2012. Proceedings
• Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24--27, 2015. Proceedings
• A synthesis of the procedural and declarative styles of interactive theorem proving
• Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021

Cited in

(1)

• Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010

Describes a project that uses

Uses Software

• Mizar
• ACL2

This page was built for publication: Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373628)