Tutorials
Learn how to use CodeLogician through hands-on tutorials. These guides will help you get started with formal verification from the command line and your AI coding assistant.
Why These Tutorials Matter
Master CodeLogician through practical, step-by-step guides that teach you:
- Setting up and configuring CodeLogician for your workflow
- Understanding core concepts like formalization, verification, and reasoning
- Integrating with AI assistants like Claude Code and other tools
Available Tutorials
CLI Tutorial: CodeLogician with Claude Code
Focus: Command-line interface for AI coding assistants
Use Case: Integrating CodeLogician with terminal-based coding agents
Duration: ~30 minutes
What you'll learn:
- Installing and setting up the CodeLogician CLI
- Using the
codelogician doccommand for documentation - Establishing a rapid feedback loop with
codelogician eval - Building a verified traffic light control system from scratch
- Leveraging formal verification in your coding workflow
Key Features:
- Rapid feedback loops with CLI commands
- Comprehensive IML/ImandraX documentation access
- Integration with terminal-based AI assistants
- Practical example: Traffic light safety verification
Real-World Applications
Ready for Production Examples?
After completing these tutorials, explore our Case Studies section to see CodeLogician applied to real-world production systems including:
- Algorithmic Trading Rules - Redundancy detection in complex rule systems
- LSE Trading Systems - MIT201 compliance verification (2 case studies)
- Bank Account Classification - Complexity analysis and test coverage
Each case study includes the original code, verification results, and downloadable examples.