Type checker and (eventually) theorem prover for the Z specification language.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow z-vimes

z-vimes Web Site

Other Useful Business Software
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of z-vimes!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Information Technology

User Interface

Command-line

Programming Language

C++

Registered

2010-10-14