Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md
data_and_functions
proof_by_case_analysis
proof_by_induction
proof_by_rewriting
proof_by_simplification
proof_within_proofs

README.md

SoftwareFoundations

For general information and the schedule please check the wiki.

The collection of code files used in the meetings.

  1. Meeting; 07.05.2019: data_and_functions

  2. Meeting: 14.05.2019: proof_by_case_analysis, proof_by_rewriting, proof_by_simplification

  3. Meeting: 21.05.2019: proof_by_induction

  4. Meeting: 28.05.2019: proof_by_induction, update for other files with additional examples and notes

  5. Meeting: 04.06.2019: Revision of the first sessions. Updates for existing files and additional notes and examples.

You can’t perform that action at this time.