Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for scala theorem prover
scala
x
theorem-prover
x
5 search results found
Curryhoward
⭐
232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Keymaerax Release
⭐
65
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Ostrich
⭐
28
An SMT Solver for string constraints
Princess
⭐
17
The Princess Theorem Prover
Qrhl Tool
⭐
14
Proof assistant for qRHL
Related Searches
Scala Sbt (4,178)
Scala Spark (3,279)
Scala Akka (2,120)
Java Scala (1,794)
Scala Play Framework (1,309)
Plugin Scala (1,079)
Scala Kafka (969)
Scala Functional Programming (942)
Scala Scalajs (887)
Scala Apache (705)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.