isabelle-snippets/document, branch main Isabelle LaTeX snippets, in Isabelle https://stuebinm.eu/git/isabelle-snippets/atom/document?h=main 2025-04-22T11:56:13Z initial snippet generation 2025-04-22T11:56:13Z terru 2025-04-22T11:32:39Z urn:sha1:2f031e360bc8bd0621e6e79d3a5f732548d920c7 this is the result of some hacking during off-hours at mgs25, patched into a mostly-working state. In use for at least one paper already, so it should hopefully work for most "basic" theories and possibly more complex ones.