Equinox
Paradox model finder and equinox theorem prover for first-order logic.
Install / Use
/learn @nick8325/EquinoxREADME
This repository holds various tools for first-order logic:
- paradox, a finite model finder
- equinox, a theorem prover
- infinox, a tool for proving that no finite models exist
Build with cabal or stack.
Related Skills
node-connect
343.3kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
92.1kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
343.3kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
343.3kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
