1 files changed, 6 insertions(+), 0 deletions(-)

A gemlog/reading.gmi

@@ 0,0 1,6 @@
+* reading
+
+** proofs
+
+=> https://direct.mit.edu/books/book/2641/Mechanizing-ProofComputing-Risk-and-Trust mechanizing proof
+