Skip to content

Complete proof for Soundness Theorem

Andrei Burdușa requested to merge andreiburdusa/MatchingLogic:master into master

Edit and complete the existing draft for the Soundness Theorem. Also fix the pattern interpretation for the μ case.

Merge request reports