This project seems to be involving several parts:
1) The formal logic structure
2) A verification server
3) A client UI for creating proofs
4) A website for both creating and verifying proofs
These things seem to be very distinct, so maybe separate repositories rather than different branches should be made.
This project seems to be involving several parts: 1) The formal logic structure 2) A verification server 3) A client UI for creating proofs 4) A website for both creating and verifying proofs
These things seem to be very distinct, so maybe separate repositories rather than different branches should be made.