LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Coq

AML-Formalization

csagataj2/AML-Formalization

CoqEmerging

Stars

—

Forks

—

Contributors

8

Last push

53mo ago

Recent commits

Latest commits.

Locally nameless revision (#218)
6c433c3Péter Bereczky54mo ago
Bump stdpp version (#214)
9f518f6github-actions[bot]55mo ago
Automation for prop/cast indifference of tactics (#213)
d418228Jan Tusil56mo ago
Bump stdpp version (#212)
30abb03github-actions[bot]56mo ago
Definedness/Totality helpers (#211)
ee12c12Jan Tusil56mo ago

Various helpers needed for proofs about \subseteq (#210)

76edd98Jan Tusil56mo ago

Bump stdpp version (#209)

5a5ae14github-actions[bot]56mo ago

Add script to fix unicode chars (#208)

d8b8355Vadász András56mo ago

Top contributors

Builders behind this project.

github-actions[bot]

daniel-horpacsi