add IJCAR'16 paper
add IJCAR'16 paper

leanprover/leanprover.github.io,avigad/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io,avigad/leanprover.github.io,leanprover/leanprover.github.io