For updates follow @anoma on and discuss on our forum
logo
Juvix MkDocs
Hello World
Initializing search
    juvix-mkdocs
    • Home
    • Installation
    • Juvix Code Blocks
    • Generate Isabelle theories
    • Snippets
    • Tutorial Images
    • Wiki Links
    • Bibliography
    • Diagrams
    • Todos
    juvix-mkdocs
    • Home
    • Installation
      • Tutorial Juvix Markdown
      • Test Juvix Markdown
      • Hello World
      • Everything
    • Generate Isabelle theories
    • Snippets
    • Tutorial Images
    • Wiki Links
    • Bibliography
    • Diagrams
    • Todos

    Hello World

    module tutorial.hello;
    axiom A : Type;
    © 2024 juvix-mkdocs - Last updated: November 26, 2024 at 09:53 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and Juvix-Mkdocs.