diproche webinterface issues

diproche / webinterface

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add Continuous Integration badge to readme

#29 Khazuar closed 5 years ago
0
Timothy gillespie/tau prolog import function

#28 TimothyGillespie closed 5 years ago
2
Fix error

#27 TimothyGillespie closed 5 years ago
1
Ronja kaehne/error pipeline

#26 RonjaKaehne closed 5 years ago
0
RonjaKaehne/textFormatter

#25 RonjaKaehne closed 5 years ago
4
"Tau-Prolog Behavior › Evaluates the maplist/3 Function Correctly" fails

#24 Khazuar closed 5 years ago
1
Continuous Integration

#23 Khazuar closed 5 years ago
1
Add unified issue interfaces

#22 Khazuar closed 5 years ago
0
Fancy presentation and intuitive input for (in-)equality-chains

#21 Khazuar opened 5 years ago
0
Allow entering of equality/inequality-chains

#20 Khazuar opened 5 years ago
0
Present issues directly in the input

#19 Khazuar opened 5 years ago
0
Show issues in the UI in a usable way

#18 Khazuar closed 5 years ago
0
Allow parsing of LaTeX-formulas into Prolog-format

#17 Khazuar opened 5 years ago
0
Build a text-input react component that allows entering of properly styled formulas

#16 Khazuar opened 5 years ago
0
Handle issues uniformly

#15 Khazuar closed 5 years ago
0
Create the Pre-Processing to Prolog Pipeline

#14 TimothyGillespie closed 5 years ago
2
Connect Interface With The Functionalities

#13 TimothyGillespie closed 5 years ago
0
Ronja kaehne/text formatter

#12 RonjaKaehne closed 5 years ago
1
Timothy gillespie/tau prolog

#11 TimothyGillespie closed 5 years ago
1
Fix linter and formatting settings

#10 Khazuar closed 5 years ago
0
Add a vocabulary checker with basic functionality and dummy dictionary

#9 Korosensei42 closed 5 years ago
6
Improve readme

#8 Khazuar closed 5 years ago
0
Documentation of initial call

#7 Khazuar closed 5 years ago
1
Detect wrong vocabulary

#6 Korosensei42 closed 5 years ago
1
Set up Continuous Integration

#5 Khazuar closed 5 years ago
0
Integrate Diproche as a lose/flexable dependency

#4 TimothyGillespie opened 5 years ago
0
Integrate Prolog

#3 TimothyGillespie opened 5 years ago
2
Convert text to Prolog readable lists

#2 TimothyGillespie closed 5 years ago
4
Add basic proof editor component

#1 Khazuar closed 5 years ago
0