1
0
Fork
You've already forked mikan
0
forked from 1lab/mikan
No description
  • Haskell 60.5%
  • Agda 27.4%
  • TeX 5%
  • HTML 3.7%
  • Emacs Lisp 1.8%
  • Other 1.6%
2026年04月28日 21:12:35 -03:00
.woodpecker ci: use nix build instead of nix path-info 2026年04月28日 22:30:34 +02:00
benchmark
cubical @fe3394eba7
doc chore: relicense, but properly 2026年04月28日 21:12:35 -03:00
mk chore: remove more references to stack 2026年04月26日 00:18:59 -04:00
notes
src fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
test fix: re-fix agda#6787 2026年04月27日 15:09:56 +02:00
.editorconfig
.gitignore chore: remove examples/ 2026年04月28日 20:45:36 +02:00
.gitmodules
.hlint.yaml
.mailmap
cabal.project fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
cabal.project.ghc-9.14.1
cabal.project.tc
CHANGELOG.md
CODE_OF_CONDUCT.md
CONTRIBUTING.md
fix-whitespace.yaml
flake.lock
flake.nix fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
HACKING.md doc: update HACKING to reflect mikan-bisect changes 2026年04月29日 00:09:45 +02:00
LICENSE chore: relicense, but properly 2026年04月28日 21:12:35 -03:00
Makefile chore: remove examples/ 2026年04月28日 20:45:36 +02:00
Mikan.cabal fix: pull mikan-bisect back out into cabal file 2026年04月29日 00:09:45 +02:00
README.md

Mikan logo & header

Mikan (Citrus unshiu) is a proof assistant for De Morgan cubical type theory, forked from Agda just before the release of version 2.9.0, and maintained by the 1Lab development team.