(* README *)
                  ____
               .-[[__]]--.
              |---------.|
              |         ||              
              |_________|/

       ┏━┓┏━┓┏━┓┏━┓┏━╸╭─╴╭─╮╭─╮╭─╴
       ┣━┛┣┳┛┃ ┃┃ ┃┣╸ │  ├─┤╰─╮├╴ 
       ╹  ╹┗╸┗━┛┗━┛╹  ╰─╴╵ ╵╰─╯╰─╴


1 - About
    -----

    “Proofcase” is a collection of
    self-contained original Rocq
    contributions, typically as
    a formal companion to a paper,
    note, or conceptual construction.


4 - Contact
    -------

    www.milanrosko.com

    hi "at" milanrosko "dot" com