v0.0.11

fix: reported issues

v0.0.10

fix: selection

v0.0.9

style: snake_case tactic combinator

Fixes #11.

v0.0.8

feat: redo penroseCanvas rendering

v0.0.7

fix: loop through tag attribute

v0.0.6

chore: bump Lean

v0.0.5

feat: add Venn demo

v0.0.4

chore: update files

v0.0.3

feat: add computation demo

v0.0.2

feat: add Rubik's cube