Anton Mellit

Ability to overwrite fields after the form is submitted, but before actions are taken.

5

Any form field can be equipped with the following: ``` process: twig: some twig markup goes here ``` Additionally, form is equipped with a new type of action "process". When...

"or" symbol instead of "and" in an example in Section 3[Typo]

2

`theorem onePlusOneAndLessThan : 1 + 1 = 2 ∨ 3 < 5 := by simp`