Projects
Jams
Discord
Resources
Unwind
Fishbowls
Forums
Newsletter
About
Manifesto
About the Team
Log In
leddoo
September 25, 2023
kibi proof assistant
K
got some basic proof tactics with manual proof goal inspection working. &kibi-pa
View original message on Discord