Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/atelier-b

Package Information

Description:

Atelier B Community Edition is an IDE by ClearSy for the B method: type checking, proof obligation generation, automatic and interactive provers, and code generation from B models.

Homepage:

https://www.atelierb.eu/

License:

Atelier-B-Community

Versions

Metadata

Description

• Atelier B Community Edition is an IDE by ClearSy for the B method: type checking, proof obligation generation, automatic and interactive provers, and code generation from B models.

Maintainers

• Denis Efremov (efremov@linux.com) - Type: person

Upstream

<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		Atelier B Community Edition is an IDE by ClearSy for the B
		method: type checking, proof obligation generation, automatic
		and interactive provers, and code generation from B models.
	</longdescription>
	<upstream>
		<doc lang="en">https://www.atelierb.eu/en/documents/</doc>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Missing md5-cache for ebuild atelier-b-24.04.2

Manifest