The Mikan Team and License

Mikan is free and libre open source software, released under the terms of the GNU GPLv3, or any later version. The full Mikan license is here.

Mikan is based in large parts on the Agda 2 codebase, released at the time under the terms of the MIT license. Information about the Agda development team can be found here.