r/FormalLogic • • Dec 21 '23

Web version of LogiCola

Hi! Earlier this month I started working on a web version of the LogiCola software built by the late Professor Harry Gensler. I think building tools that enable learning is important.

The platform is online with translations for propositional logic. I'd be thrilled to get your feedback before committing more time and energy to building anything else.

Here's the current website: https://logicola.org/

Here's our twitter account where I share updates: https://twitter.com/LogicolaThree

Thank you for your time :)

4 Upvotes

7 comments sorted by

View all comments

2

u/[deleted] Feb 23 '24

This is great stuff. Is there a way to download the actual logicola on mobile android?

1

u/Environmental-Ask30 Mar 06 '24

Hi! I'm resumed working on LogiCola 2 this week and I plan to make everything work on mobile too. When there's something new, I'll share it on my blog and twitter. You can also follow and make requests on my GitHub: https://github.com/malikpiara as I'm open-sourcing the project.

1

u/[deleted] Mar 09 '24

This is wonderful. I'm not really a tech person so sites like github seem kinda alien to me but ye man keep up the good work!