adding an app to test the registry with simple hard coded sequents and visualize internal structures
adding an app to test the registry with simple hard coded sequents and visualize internal structures

ClemsonRSRG/RESOLVE,NighatYasmin/RESOLVE,NighatYasmin/RESOLVE,yushan87/RESOLVE,NighatYasmin/RESOLVE,yushan87/RESOLVE,yushan87/RESOLVE,ClemsonRSRG/RESOLVE,ClemsonRSRG/RESOLVE