pragmastat.dev
Talk at 'Conservation Laws and invariants'
2013