7 lines
82 B
TOML
7 lines
82 B
TOML
[metadata]
|
|
title = "Proof Techniques"
|
|
|
|
[publish]
|
|
handout = false
|
|
solutions = true
|