Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for jupyter notebook theorem proving
jupyter-notebook
x
theorem-proving
x
3 search results found
Provingground
⭐
180
Proving Ground: Tools for Automated Mathematics
Coq_jupyter
⭐
89
Jupyter kernel for Coq
Int
⭐
19
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
Related Searches
Python Jupyter Notebook (12,976)
Jupyter Notebook Machine Learning (8,463)
Jupyter Notebook Dataset (6,824)
Jupyter Notebook Deep Learning (6,566)
Jupyter Notebook Tensorflow (4,771)
Jupyter Notebook Data Science (4,256)
Jupyter Notebook Convolutional Neural Networks (4,218)
Jupyter Notebook Classification (3,939)
Jupyter Notebook Neural (3,926)
Jupyter Notebook Pytorch (3,877)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.