Join 10350+ others. No spamming.
I promise!

Follow us at github.



david-christiansen/pudding

34

david-christiansen / pudding

Racket

A language-integrated proof assistant, for and in Racket


READ ME

Macro tactics

Here are some experimental implementations of tactics in the macro expander.