aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update the generation of termination and decreases_by templates for Lean	Son Ho	2023-06-04	1	-19/+19
\|
*	Make minor modifications and regenerate the Lean files	Son Ho	2023-06-04	13	-1157/+1257
\|
*	Improve formatting further by removing useless spaces	Son Ho	2023-06-04	3	-62/+33
\|
*	Make sure let-bindings in Lean end with line breaks and improve formatting	Son Ho	2023-06-04	3	-14/+28
\|
*	Improve formatting of the termination_by clauses	Son Ho	2023-06-04	1	-43/+27
\|
*	Make minor fixes, improve formatting for Lean and generate code for all the ↵	Son Ho	2023-06-04	15	-0/+4013
	test suite