Awesome Open Source

Programming Languages

Search results for java proof assistant

proof-assistant x

3 search results found

Aya Dev ⭐ 231

~ Youkai (∞, 1)-Mountain

Educational Proof Assistant for Type Theory

mmj2 GUI Proof Assistant for the Metamath project

Related Searches

Java Spring (21,350)

Java Spring Boot (11,982)

Java Video Game (8,093)

Java Gradle (8,072)

Java Docker (6,180)

Java Mysql (5,954)

Java Sdk (5,864)

Java Database (5,817)

Javascript Java (5,468)

Java Rest (4,956)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.