PanLinx
português
por-000
comprovatividade
English
eng-000
provability
PanLex
