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.