"FOOL" project seem need be considered as a killer project for harmony's JOKE:)
- [general] Proposal for "first-order obvious logic&quo... Tim Ellison
- Re: [general] Proposal for "first-order obvious ... Jin Mingjian
- Re: [general] Proposal for "first-order obvious ... Egor Pasko
- Re: [general] Proposal for "first-order obvious ... Alexei Zakharov
- Re: [general] Proposal for "first-order obvi... Sian January
- Re: [general] Proposal for "first-order obvious ... Alexei Fedotov
- Re: [general] Proposal for "first-order obvi... Egor Pasko
- Re: [general] Proposal for "first-order ... Alexei Fedotov
- Re: [general] Proposal for "first-or... Xiao-Feng Li
