Grants:IdeaLab/Meth8/Lv4/Prover9

Idealab

Prover9

please add a 1-2 sentence summary after 'summary='

idea creator• Advo7

this project needs...

volunteer

developer

advisor

project manager

community organizer

designer

researcher

created on13:19, 9 January 2019 (UTC)

Project idea

What is the problem you're trying to solve?

re-write/porting Logic Prover from TrueBasic to other computing Languages, e.g. Python/Ruby etc..

What is your solution?

I have about 50,000 line of TrueBasic code that needs Learner/Coder to maintain and develop application based on logic prover9

Expand your idea

Would a grant from the Wikimedia Foundation help make your idea happen? You can expand this idea into a grant proposal.

Expand into a Rapid Grant

Expand into a Project Grant