search

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser
http://gleachkr.github.io/Carnap/
GNU General Public License v3.0
3 stars 0 forks source link

Pandoc filter #11

Closed gleachkr closed 9 years ago

gleachkr commented 9 years ago

We'd like to include a simple pandoc filter that makes it possible to include interactive derivations in a markdown document.

gleachkr commented 9 years ago

closed by 2db06b2a5d91385d0ea84caa7fe4566ce0effa8b