Explore relationships

ALF (proof assistant)

ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda and Cayenne proof assistants and dependently typed programming languages.

Use + to expand a branch. Click a topic name to open its summary.