web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Fri, 21 Dec 2007 16:53:12 +0000 (16:53 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Fri, 21 Dec 2007 16:53:12 +0000 (16:53 +0000)
research.mdwn

index 064f3c2..732c20b 100644 (file)
@@ -4,6 +4,8 @@ Bologna](http://www.unibo.it). My current and not-so current research interests
 are summarized below, a list of my **[[publications]]** on available in a
 [[separate_page|publications]].
 
+# research interests
+
  * type theory and in particular **proof assistants** / interactive theorem
  provers. I've been one of the architect of the [Matita proof
  assistant](http://matita.cs.unibo.it), though now I'm contributing code more