Grants:IdeaLab/Meth8/Lv4/Prover9

From Meta, a Wikimedia project coordination wiki
Jump to navigation Jump to search
Prover9
please add a 1-2 sentence summary after 'summary='
Hex icon with lightning white.svg
idea creator
Advo7
this project needs...
Hex icon with hand black.svg
volunteer
Hex icon with hexes black.svg
developer
Hex icon with lightning black.svg
advisor
Hex icon with star black.svg
project manager
Hex icon with bee black.svg
community organizer
Hex icon with circles black.svg
designer
Hex icon with flask black.svg
researcher
join
endorse
created on13:19, 9 January 2019 (UTC)


Project idea[edit]

What is the problem you're trying to solve?[edit]

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


What is your solution?[edit]

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

Project goals[edit]

Get involved[edit]

Expand your idea[edit]

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