1 files changed, 2 insertions(+), 3 deletions(-)

M gemlog/reading.gmi

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