Welcome to Naive’s documentation!

Naive (/naɪˈiːv/) is a model checking Python library. Its salient characteristics are:

• Aggressive but transparent (i.e. warnings issuance) type coercion,

• Mimicking mathematical objects with Python classes (i.e. an approach we may coin semantic development),

• Prioritize readability over code performance.

Note

This project is under active development.

Contents

Table of Contents

• Installation
  • Console
  • Jupyter Notebook
  • Import
• core
  • Classes
  • Data
  • Exceptions
  • Functions
• Samples

Indices and tables

• Index

• Module Index

• Search Page