User avatar
Liam O'Connor @liamoc@types.pl
1mo
The UI for proofs still needs polishing but it's actually super cool that my forester-integrated proof assistant is actually working.
2
3
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@liamoc Are we back on GitHub because tangled is too broken?
1
0
0
0
User avatar
Liam O'Connor @liamoc@types.pl
1mo
@mio No I just keep pushing to the wrong one
0
0
1
0