Reservoir

ammkrn/prolala_demo

A demonstration/examples for Prolala 2022

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

Demo for a talk given at POPL 2022.

The like-kind exchange example can be found in Prolala/Federal/Tax/Lke

The principal residence exclusion example can be found in Prolala/Federal/Tax/PrinRes.lean

The civil procedure examples are in Prolala/Federal/Civpro