# kino_isabelle v0.1.0-alpha.1 - Table of Contents

> Livebook smart cell for Isabelle theories

## Pages

- [KinoIsabelle](readme.md)
- [Isabelle in Livebook](demo.md)
- [Changelog](changelog.md)
- [LICENSE](license.md)

## Modules

- [KinoIsabelle](KinoIsabelle.md): Livebook smart cell for Isabelle theories.
- [KinoIsabelle.Result](KinoIsabelle.Result.md): Result of `KinoIsabelle.check/2`. Renders in Livebook as tabs.

- Internals
  - [KinoIsabelle.Messages](KinoIsabelle.Messages.md): Normalises `use_theories` messages to `%{kind, text, from, to}` with cell
offsets, and buckets them by command span.

  - [KinoIsabelle.Output](KinoIsabelle.Output.md): Builds `KinoIsabelle.Result`s and their Kino output.
  - [KinoIsabelle.Positions](KinoIsabelle.Positions.md): Maps Isabelle positions to offsets in the cell text.
  - [KinoIsabelle.Session](KinoIsabelle.Session.md): The runtime's Isabelle server and its logic sessions.
  - [KinoIsabelle.Theory](KinoIsabelle.Theory.md): Turns cell text into a theory file.