Fix to test case (problem_103) and formatting issues in sample_examples - #71

Merged

amit9oct merged 3 commits into

trishullab:mainfrom

Apr 3, 2026

Commits on Mar 28, 2026

fixed test case in problem_103.lean
barabbs
committed
019a998
added missing generated_spec_body section in problem 3 and 5 in sample_examples
barabbs
committed
1fb6e4f
removed inconsistent by at the end of spec_isomorphism section in sample_examples/problem_1.lean
barabbs
committed
6a2917a