-
Notifications
You must be signed in to change notification settings - Fork 10
Pull requests: fplab/ui-for-pl
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
First draft for interactive theorem provers
#14
opened Nov 21, 2019 by
rinshankaihou
updated Feb 14, 2021
First draft of data analysis environments
#13
opened Nov 15, 2019 by
LittleAprilFool
Loading…
updated Feb 14, 2021
First draft of user interfaces for game development.
#7
opened Oct 27, 2019 by
RayneZhang
Loading…
updated Feb 14, 2021
First draft for educational environments
#6
opened Oct 21, 2019 by
hannahpotter
Loading…
updated Feb 14, 2021
ProTip!
Follow long discussions with comments:>50.