nixpkgs / beluga - A functional language for reasoning about formal systems

Homepage - http://complogic.cs.mcgill.ca/beluga/

License - GPL-3.0-or-later

Maintainers - Ben Darwin

Outputs

out (expand/collapse)

Releases

1.0 (expand/collapse)
From commit 02c142a2 to 00460bd6
2020-03-11 (expand/collapse)
From commit 074ef76e to 074ef76e
1.0 (expand/collapse)
From commit 044053e2 to 07557e3b
2020-03-11 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.0 (expand/collapse)
From commit 037e5170 to 062e1e59
2020-03-11 (expand/collapse)
From commit 05065605 to 05065605
1.0 (expand/collapse)
From commit 0080a586 to 01dc2d9c
2020-03-11 (expand/collapse)
From commit 024b4917 to 024b4917
1.0 (expand/collapse)
From commit 045febc9 to 05c13a03
2020-03-11 (expand/collapse)
From commit 066544a7 to 04991f2e
20180403 (expand/collapse)
From commit 05a16be9 to 05a16be9
2020-03-11 (expand/collapse)
From commit 015f46be to 0456d939
20180403 (expand/collapse)
From commit 03e67b0a to 02105da5