Descrição
Experimentos LF gerados do git podem usar twelf-git para a implementação Twelf mais recente empacotada do framework lógico LF. Ele ajuda pesquisadores e estudantes a testar especificações formais contra código-fonte mais novo.
Execute `twelf` no terminal com arquivos de prova versionados. Como pacote git, o comportamento pode mudar, então verifique resultados antes de depender deles em disciplinas ou artigos.