LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Coq

dataframe_proofs

williamma12/dataframe_proofs

CoqEmerging

Stars

—

Forks

—

Contributors

1

Last push

64mo ago

Recent commits

Latest commits.

Update check_compilation.yml
558491dWilliam Ma64mo ago
maybe this is the right one?
ed2e77bWilliam Ma64mo ago
Fix opam make command
50dfddfWilliam Ma64mo ago
maybe fix gh actions
c981b0dWilliam Ma64mo ago
Add actions badge
f3eef8dWilliam Ma64mo ago

Set up CI

85eaf5bWilliam Ma64mo ago

Create blank.yml

cdb6d26William Ma64mo ago

Finish dataframe type system and data level type system

b14a37eWilliam Ma64mo ago

Top contributors

Builders behind this project.