formality 0.1.9

An efficient programming language featuring formal proofs.
1

:map <leader>m :w!<CR>:!clear; cargo install --force<CR>