PanLinx
Lingua Franca Nova
lfn-000
demostrablia
English
eng-000
provability
PanLex
