issues
search
edggy
/
pyLemma
A formal proof creating tool in Python
MIT License
1
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Library support
#17
NJacob
opened
7 years ago
1
Error on closing file dialog
#16
NJacob
opened
7 years ago
2
Second stage complete
#15
Hubert51
opened
7 years ago
1
Basic Website with Editor
#14
AndreyChoi
opened
7 years ago
0
Proof File Structure
#13
AndreyChoi
opened
7 years ago
0
Refactoring of Formal Logic Code
#12
AndreyChoi
opened
7 years ago
1
Separate Repositories?
#11
AndreyChoi
opened
7 years ago
0
Cloning of Client UI to Website
#10
AndreyChoi
opened
7 years ago
0
Interfacing of Website to Verification Server
#9
AndreyChoi
opened
7 years ago
0
Database System Reconsideration
#8
AndreyChoi
opened
7 years ago
0
Database(s) Schema Redesign
#7
AndreyChoi
opened
7 years ago
0
Website Development Plan
#6
AndreyChoi
opened
7 years ago
0
Zero Knowledge Verification Method
#5
AndreyChoi
opened
7 years ago
1
Combine server and database
#4
Hubert51
opened
7 years ago
0
Create homework server
#3
AndreyChoi
closed
7 years ago
0
Rough UI Layout
#2
leed19
opened
8 years ago
0
Generalization (?)
#1
ghost
opened
8 years ago
1