add block and theorem to demo

2 jobs for block-template in 1 minute and 20 seconds
latest
Status Job ID Name Coverage
  Build
passed #564474
build

00:01:20

failed #564362
build

00:00:01