template_v

From mathcomp Require Import all_ssreflect.

Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.

(** 

----------------------------------------------------------
#<div class="slide">#
** title

body

- item [verbatim code]
- item # $$ \frac{1}{2} $$ #

#<div>#
*)
Check nat.
(**
#</div>#

#<div class="note">(notes)<div class="note-text">#
footnote
#<a href="https://example">a link</a>#
end footnote
#</div></div>#

#</div>#
*)