Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Tinker‚ Tailor‚ Solver‚ Proof

Tinker‚ Tailor‚ Solver‚ Proof

Gudmund Grov‚ Aleks Kissinger and and Yuhui Lin

Book Title
Proceedings of User Interfaces for Theorem Proving (UITP)‚ workshop at FLoC‚ Vienna Summer of Logic
Year
2014

Links

See Also

Back to Top