Navigation

index
next |
previous |
LPP 2024 »
Lecture Notes, Week 01 »

Soundness and completeness¶

...

Version¶

Created [18 Jan 2024]

Table Of Contents

Soundness and completeness
- Version

Previous topic

Introduction and motivation

Next topic

Functional programming in Gallina

Quick search

Enter search terms or a module, class or function name.

Navigation

index
next |
previous |
LPP 2024 »
Lecture Notes, Week 01 »

© Copyright 2024, Olivier Danvy. Last updated on Tue 20 Aug 2024 at 15:22 in Singapore. Created using Sphinx 1.2.2.