newsniper-org
Pinned Loading
Repositories
Showing 10 of 60 repositories
- ethical-public-license Public
- y4 Public
- adsmt Public
- isabelle-gst Public Forked from ultra-group/isabelle-gst
Generalized set theories (GSTs) in Isabelle/HOL
- adsmt-contrib Public
- oxiz Public Forked from cool-japan/oxiz
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
- oxilean Public Forked from cool-japan/oxilean
OxiLean is a memory-safe, high-performance Interactive Theorem Prover (ITP) natively integrated into the Rust ecosystem. Inspired by Lean 4, it aims to bring formal verification to the Rust community
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…