Results for logician

Fully typed, simple, intuitive, sensible and pragmatic logger configurator for standard python logging.

Type-safe SMT solver driver with fluent Term API, multi-solver fallback, and process watchdog

Standalone TUI infoview for Lean 4 theorem prover

A fast, brute force, automatic theorem prover for first order logic

Regex-like temporal expressions for evaluating systems that change over time

Arel Really Exasperates Logicians Arel is a SQL AST manager for Ruby. It 1. Simplifies the generation of complex SQL queries 2. Adapts to various RDBMSes It is intended to be a framework framework; that is, you can build your own ORM with it, focusing on innovative object and collection modeling as opposed to database compatibility and query generation.