NEW!This tutorial guides Technical Cooperation Project Team Members through the main stages and steps of the Logical Framework Approach and how to apply it when designing TC Projects.Target Audience: ...
Write a Logical Framework Analysis before the project or event starts to formulate a plan, act as a guide when the event is ongoing, and provide a detailed record for future analysis. A typical ...
BiSikkel is an Agda library that allows a user to write programs and proofs in multimode type theory. It consists of a program layer (MSTT or multimode simple type theory, a complete reworking of the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results