Travelled to:1 × Austria
1 × Germany
Collaborated with:C.Roux L.M.d.Moura S.Kong J.Avigad J.v.Raumer
Talks about:structur (1) theorem (1) theori (1) system (1) prover (1) type (1) pure (1) lean (1)
Person: Floris van Doorn
DBLP: Doorn:Floris_van
Contributed to:
2015
2014Wrote 2 papers:
- CADE-2015-MouraKADR #agile #proving #theorem proving
- The Lean Theorem Prover (LMdM, SK, JA, FvD, JvR), pp. 378–388.
- RTA-TLCA-2014-RouxD #type system
- The Structural Theory of Pure Type Systems (CR, FvD), pp. 364–378.